blob: ecc134748dea171b9eee77ee0862594423efb07a (
plain)
1
2
3
4
|
- **Fixed:**
``coqtop --version`` was broken when called in the middle of an installation process
(`#11255 <https://github.com/coq/coq/pull/11255>`_, by Hugo Herbelin, fixing
`#11254 <https://github.com/coq/coq/pull/11254>`_).
|
