From 825d0737069debb8e16c44cd49ad3a273211f76c Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sat, 5 Oct 2019 11:37:27 +0200
Subject: Changelog for SProp on

---
 doc/changelog/01-kernel/10811-sprop-default-on.rst | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 doc/changelog/01-kernel/10811-sprop-default-on.rst

diff --git a/doc/changelog/01-kernel/10811-sprop-default-on.rst b/doc/changelog/01-kernel/10811-sprop-default-on.rst
new file mode 100644
index 0000000000..349c44c205
--- /dev/null
+++ b/doc/changelog/01-kernel/10811-sprop-default-on.rst
@@ -0,0 +1,3 @@
+- Using ``SProp`` is now allowed by default, without needing to pass
+  ``-allow-sprop`` or use :flag:`Allow StrictProp` (`#10811
+  <https://github.com/coq/coq/pull/10811>`_, by Gaëtan Gilbert).
-- 
cgit v1.2.3