From fcc3d7c64cc3d6f8f60e0e0f9469a78009b7fbd2 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 8 Jan 2020 15:06:38 +0100
Subject: Add changelog entry for native string extraction

---
 doc/changelog/12-misc/10486-native-string-extraction.rst | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 doc/changelog/12-misc/10486-native-string-extraction.rst

diff --git a/doc/changelog/12-misc/10486-native-string-extraction.rst b/doc/changelog/12-misc/10486-native-string-extraction.rst
new file mode 100644
index 0000000000..c6778403d4
--- /dev/null
+++ b/doc/changelog/12-misc/10486-native-string-extraction.rst
@@ -0,0 +1,7 @@
+- **Added:**
+  Support for better extraction of strings in OCaml and Haskell:
+  `ExtOcamlNativeString` provides bindings from the Coq `String` type to
+  the OCaml `string` type, and string literals can be extracted to literals,
+  both in OCaml and Haskell. (`#10486
+  <https://github.com/coq/coq/pull/10486>`_, by Xavier Leroy, with help from
+  Maxime Dénès, review by Hugo Herbelin).
-- 
cgit v1.2.3