diff options
| author | Pierre-Marie Pédrot | 2020-05-14 16:26:18 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-14 16:26:18 +0200 |
| commit | 9f9a77fe00b449f617a8cfc832ee82c3d66c404b (patch) | |
| tree | fcc07415e1c7767ebe53511620ebb23ef225e176 /doc/changelog/01-kernel | |
| parent | 8dd5c47007817c104d57a449409a6b9c6f8ef12e (diff) | |
Add a changelog for 8.11.2.
Diffstat (limited to 'doc/changelog/01-kernel')
| -rw-r--r-- | doc/changelog/01-kernel/11972-fix-require-in-section.rst | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/changelog/01-kernel/11972-fix-require-in-section.rst b/doc/changelog/01-kernel/11972-fix-require-in-section.rst deleted file mode 100644 index 7a2fa9185f..0000000000 --- a/doc/changelog/01-kernel/11972-fix-require-in-section.rst +++ /dev/null @@ -1,6 +0,0 @@ -- **Fixed:** - Using :cmd:`Require` inside a section caused an anomaly when closing - the section. (`#11972 <https://github.com/coq/coq/pull/11972>`_, by - Gaëtan Gilbert, fixing `#11783 - <https://github.com/coq/coq/issues/11783>`_, reported by Attila - Boros). |