diff options
Diffstat (limited to 'doc/changelog/03-notations/11090-master+refactoring-application-printing.rst')
| -rw-r--r-- | doc/changelog/03-notations/11090-master+refactoring-application-printing.rst | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst b/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst deleted file mode 100644 index 4423c2b587..0000000000 --- a/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst +++ /dev/null @@ -1,3 +0,0 @@ -- 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). |