diff options
| author | Théo Zimmermann | 2020-04-03 14:43:37 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-03 14:43:37 +0200 |
| commit | acefe58cd39c9a4efee632f7f92f56fb4d5285bb (patch) | |
| tree | 1a960a9f1c970d54865cd94c21ec1a743afdfdfc /doc/changelog/01-kernel | |
| parent | e46e37ddabcb5ef2d58fd09dcc0a13a4b42f6b93 (diff) | |
| parent | 0e83878b0750aaa2b69bb2ff529131ab16d3d64f (diff) | |
Merge PR #12009: Adding changelog for 8.11.1.
Reviewed-by: Zimmi48
Diffstat (limited to 'doc/changelog/01-kernel')
| -rw-r--r-- | doc/changelog/01-kernel/11811-uncheck_positivity_bug.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/changelog/01-kernel/11811-uncheck_positivity_bug.rst b/doc/changelog/01-kernel/11811-uncheck_positivity_bug.rst deleted file mode 100644 index c08ebb7f25..0000000000 --- a/doc/changelog/01-kernel/11811-uncheck_positivity_bug.rst +++ /dev/null @@ -1,4 +0,0 @@ -- **Fixed:** - Allow more inductive types in `Unset Positivity Checking` mode - (`#11811 <https://github.com/coq/coq/pull/11811>`_, - by SimonBoulier). |