blob: f4c41dc3c35def1f6c8eee9c61ba6bb084f15c28 (
plain)
1
2
3
4
|
- **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).
|
