diff options
| author | Vincent Laporte | 2019-11-27 14:53:44 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-11-28 12:50:20 +0000 |
| commit | 254efbe77e9c7b9dfefe52825ed062c202060507 (patch) | |
| tree | 706a3fe8b4bcf14983eb09265c6052b0d8978ba7 /doc/changelog | |
| parent | d2a995927ccb01dae73960780c7fa0fed0a37e6d (diff) | |
Release notes for Coq 8.10.2
Diffstat (limited to 'doc/changelog')
| -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). |