diff options
| author | Théo Zimmermann | 2020-01-08 14:21:13 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-01-22 17:08:15 +0100 |
| commit | 0ce7fbb5550ad7a3acc7e06fe9d9bcc24e14ac70 (patch) | |
| tree | 06c09898f46a8c3dec07e8bb2167e479b984c1c8 /doc/changelog/01-kernel | |
| parent | dc25c63771fb32a4236b04eb940e7881f28669e1 (diff) | |
Changelog for 8.11.0.
Diffstat (limited to 'doc/changelog/01-kernel')
| -rw-r--r-- | doc/changelog/01-kernel/11361-fix-11360-discharge-template-param-var.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/changelog/01-kernel/11361-fix-11360-discharge-template-param-var.rst b/doc/changelog/01-kernel/11361-fix-11360-discharge-template-param-var.rst deleted file mode 100644 index 8c84648aa7..0000000000 --- a/doc/changelog/01-kernel/11361-fix-11360-discharge-template-param-var.rst +++ /dev/null @@ -1,4 +0,0 @@ -- **Fixed:** `#11360 <https://github.com/issues/11360>`_ - Broken section closing when a template polymorphic inductive type depends on - a section variable through its parameters (`#11361 - <https://github.com/coq/coq/pull/11361>`_, by Gaëtan Gilbert). |