From 32dd7605c02443b0ca16252f883a1ca4ec94add2 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 8 Mar 2020 09:13:41 +0100
Subject: Minor improvements to the unreleased changelog.

Same as #11780 except that this part can be backported to v8.11.
---
 doc/changelog/09-coqide/10008-snyke7+escape_spaces.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/changelog/09-coqide/10008-snyke7+escape_spaces.rst b/doc/changelog/09-coqide/10008-snyke7+escape_spaces.rst
index 99b1592fb3..cbd97688c3 100644
--- a/doc/changelog/09-coqide/10008-snyke7+escape_spaces.rst
+++ b/doc/changelog/09-coqide/10008-snyke7+escape_spaces.rst
@@ -1,4 +1,4 @@
 - **Fixed:**
-  Fix file paths containing spaces when compiling
+  Compiling file paths containing spaces
   (`#10008 <https://github.com/coq/coq/pull/10008>`_,
   by snyke7, fixing `#11595 <https://github.com/coq/coq/pull/11595>`_).
-- 
cgit v1.2.3