blob: 4423c2b5872c5d7049cd81c04af1c3c2cd5d0dc0 (
plain)
1
2
3
|
- Fixed an 8.10 regression related to the printing of coercions associated to notations
(`#11090 <https://github.com/coq/coq/pull/11090>`_,
fixes ` #11033 <https://github.com/coq/coq/issues/11033>`_, by Hugo Herbelin).
|
