From a05f42f25f1ea7a898511596a794e3e5240465e4 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 13 Jun 2019 22:54:07 +0200
Subject: Add missing changelog entry for #10360.

---
 doc/changelog/09-coqide/10360-windows.rst | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 doc/changelog/09-coqide/10360-windows.rst

(limited to 'doc')

diff --git a/doc/changelog/09-coqide/10360-windows.rst b/doc/changelog/09-coqide/10360-windows.rst
new file mode 100644
index 0000000000..b7f8374c73
--- /dev/null
+++ b/doc/changelog/09-coqide/10360-windows.rst
@@ -0,0 +1,3 @@
+- Fix CoqIDE instability on Windows after the update to gtk3
+  (`#10360 <https://github.com/coq/coq/pull/10360>`_, by Michael Soegtrop,
+  closes `#9885 <https://github.com/coq/coq/issues/9885>`_).
-- 
cgit v1.2.3