- **Changed:**
  ``dev/tools/make-changelog.sh`` now asks for a list of bugs fixed by the PR
  (`#12410 <https://github.com/coq/coq/pull/12410>`_, fixes `#12386
  <https://github.com/coq/coq/issues/12386>`_, by Jason Gross).