From 82910bed2fccee7d1f4814e3339fbae374980e68 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Fri, 2 Apr 2021 14:07:39 +0200
Subject: Add changelog

---
 doc/changelog/12-misc/14041-cs_lambda.rst | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 doc/changelog/12-misc/14041-cs_lambda.rst

(limited to 'doc')

diff --git a/doc/changelog/12-misc/14041-cs_lambda.rst b/doc/changelog/12-misc/14041-cs_lambda.rst
new file mode 100644
index 0000000000..872b1f09eb
--- /dev/null
+++ b/doc/changelog/12-misc/14041-cs_lambda.rst
@@ -0,0 +1,6 @@
+- **Added:**
+  Enable canonical `fun _ => _` projections,
+  see :ref:`canonicalstructures` for details.
+  (`#14041 <https://github.com/coq/coq/pull/14041>`_,
+  by Jan-Oliver Kaiser and Pierre Roux,
+  reviewed by Cyril Cohen and Enrico Tassi).
-- 
cgit v1.2.3