From e57b2e19bbd9e5ab13f16e06ec9fbcff89a5e80c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 22 Dec 2019 20:37:06 +0100
Subject: Adding changelog.

---
 .../11329-master+fix11114-extraction-anomaly-implicit-record.rst      | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/12-misc/11329-master+fix11114-extraction-anomaly-implicit-record.rst

(limited to 'doc')

diff --git a/doc/changelog/12-misc/11329-master+fix11114-extraction-anomaly-implicit-record.rst b/doc/changelog/12-misc/11329-master+fix11114-extraction-anomaly-implicit-record.rst
new file mode 100644
index 0000000000..0a686dd87d
--- /dev/null
+++ b/doc/changelog/12-misc/11329-master+fix11114-extraction-anomaly-implicit-record.rst
@@ -0,0 +1,4 @@
+- **Fixed:**
+  :cmd:`Extraction Implicit` on the constructor of a record was leading to an anomaly
+  (`#11329 <https://github.com/coq/coq/pull/11329>`_,
+  by Hugo Herbelin, fixes `#11114 <https://github.com/coq/coq/pull/11114>`_).
-- 
cgit v1.2.3