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 new file mode 100644 index 000000000000..ac9de01fa631 --- /dev/null +++ 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 `_, + fixes `#18434 `_, + by Hugo Herbelin).