From 7161bca5659accd920c3c868ec561b143bb9212d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 22 Jan 2020 19:00:07 +0100
Subject: Fix typo in changelog entry.

---
 .../11172-master+coercion-notation-interleaved-printing.rst             | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/changelog/03-notations/11172-master+coercion-notation-interleaved-printing.rst b/doc/changelog/03-notations/11172-master+coercion-notation-interleaved-printing.rst
index 8551cf3aac..a53fb7e970 100644
--- a/doc/changelog/03-notations/11172-master+coercion-notation-interleaved-printing.rst
+++ b/doc/changelog/03-notations/11172-master+coercion-notation-interleaved-printing.rst
@@ -1,2 +1,2 @@
-- The printing algorithm now interleave search for notations and removal of coercions
+- The printing algorithm now interleaves search for notations and removal of coercions
   (`#11172 <https://github.com/coq/coq/pull/11172>`_, by Hugo Herbelin).
-- 
cgit v1.2.3