From 75ea93f63050a05a5b20124c17eb18a98e66fd6a Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 19 Nov 2019 10:38:07 +0100
Subject: added changelog entry

---
 doc/changelog/06-ssreflect/11136-inj_compr.rst | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 doc/changelog/06-ssreflect/11136-inj_compr.rst

diff --git a/doc/changelog/06-ssreflect/11136-inj_compr.rst b/doc/changelog/06-ssreflect/11136-inj_compr.rst
new file mode 100644
index 0000000000..9c118ce0b5
--- /dev/null
+++ b/doc/changelog/06-ssreflect/11136-inj_compr.rst
@@ -0,0 +1 @@
+- added lemma inj_compr (`#11136 <https://github.com/coq/coq/pull/11136>`_, by Cyril Cohen).
-- 
cgit v1.2.3