From 6b793e6b39b60cef8c3163cb6cd240e5a0ecbfc5 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 14 May 2020 07:35:59 +0200
Subject: Add changelog for #12323.

---
 .../12323-master+fix12322-anomaly-implicit-binder-factorization.rst   | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/02-specification-language/12323-master+fix12322-anomaly-implicit-binder-factorization.rst

(limited to 'doc')

diff --git a/doc/changelog/02-specification-language/12323-master+fix12322-anomaly-implicit-binder-factorization.rst b/doc/changelog/02-specification-language/12323-master+fix12322-anomaly-implicit-binder-factorization.rst
new file mode 100644
index 0000000000..e5ec865b15
--- /dev/null
+++ b/doc/changelog/02-specification-language/12323-master+fix12322-anomaly-implicit-binder-factorization.rst
@@ -0,0 +1,4 @@
+- **Fixed:**
+  Anomaly possibly raised when printing binders with implicit types
+  (`#12323 <https://github.com/coq/coq/pull/12323>`_,
+  by Hugo Herbelin; fixes `#12322 <https://github.com/coq/coq/pull/12322>`_).
-- 
cgit v1.2.3