From 58682be3e6302845d2e3be583c6368510034d767 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 7 Dec 2019 11:20:09 +0100
Subject: Fixes #11254 (not requiring coqlib to be set to report about coqtop
 version).

---
 doc/changelog/08-tools/11255-master+fix11254-coqtop-version.rst | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/08-tools/11255-master+fix11254-coqtop-version.rst

(limited to 'doc')

diff --git a/doc/changelog/08-tools/11255-master+fix11254-coqtop-version.rst b/doc/changelog/08-tools/11255-master+fix11254-coqtop-version.rst
new file mode 100644
index 0000000000..ecc134748d
--- /dev/null
+++ b/doc/changelog/08-tools/11255-master+fix11254-coqtop-version.rst
@@ -0,0 +1,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>`_).
-- 
cgit v1.2.3