From 0e83878b0750aaa2b69bb2ff529131ab16d3d64f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 3 Apr 2020 13:58:33 +0200
Subject: Adding changelog for 8.11.1.

---
 doc/changelog/01-kernel/11811-uncheck_positivity_bug.rst | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 doc/changelog/01-kernel/11811-uncheck_positivity_bug.rst

(limited to 'doc/changelog/01-kernel')

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).
-- 
cgit v1.2.3