path: root/doc/changelog/07-commands-and-options/13556-master.rst

- **Changed:**
  The warning `custom-entry-overriden` has been renamed to `custom-entry-overridden` (with two d's).
  (`#13556 <https://github.com/coq/coq/pull/13556>`_,
  by Simon Friis Vindum).