Adding changelog entry

eladrion · Nov 14, 2023 · 82b96af · 82b96af
1 parent 2d5ed14
commit 82b96af
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/doc/changelog/13-extraction/18270-extraction_extension.rst b/doc/changelog/13-extraction/18270-extraction_extension.rst
@@ -0,0 +1,7 @@
+- **Added:**
+  Extension for OCaml extraction:
+  Commands to extract foreign function calls to C (external)
+  and ML function exposition (Callback.register)
+  (`#18270 <https://github.com/coq/coq/pull/18270>`_,
+  fixes `#18212 <https://github.com/coq/coq/issues/18212>`_,
+  by Mario Frank).