Adding change log for coq#16288

herbelin · Mar 1, 2023 · 9850095 · 9850095
1 parent 5a66f3c
commit 9850095
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/doc/changelog/13-misc/17321-master+fix16288-extraction-prim-field-functor.rst b/doc/changelog/13-misc/17321-master+fix16288-extraction-prim-field-functor.rst
@@ -0,0 +1,5 @@
+- **Fixed:**
+  Extraction of primitive projections in functors
+  (`#17321 <https://github.com/coq/coq/pull/17321>`_,
+  fixes `#16288 <https://github.com/coq/coq/issues/16288>`_,
+  by Hugo Herbelin).