Change log for coq#18448

SkySkimmer · Jan 8, 2024 · efd6634 · efd6634
1 parent e4adb19
commit efd6634
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/doc/changelog/09-cli-tools/18448-master+fix18434-coqdoc-external-regression.rst b/doc/changelog/09-cli-tools/18448-master+fix18434-coqdoc-external-regression.rst
@@ -0,0 +1,6 @@
+- **Fixed:**
+  Regression in option :g:`--external` of `coqdoc`, whose two arguments
+  were inadvertently swapped
+  (`#18448 <https://github.com/coq/coq/pull/18448>`_,
+  fixes `#18434 <https://github.com/coq/coq/issues/18434>`_,
+  by Hugo Herbelin).