From d13abaf2b7789aecccd607e014025b6c8b9ae094 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 20 Nov 2020 10:00:47 +0100
Subject: Update
 doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst

Co-authored-by: Enrico Tassi <Enrico.Tassi@inria.fr>---
 .../12965-master+fix9569-propagage-binding-vars-notations.rst           | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst b/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst
index 83baf65526..e63ab9696e 100644
--- a/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst
+++ b/doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst
@@ -1,5 +1,5 @@
 - **Fixed:**
-  Occasional unexpected capture of the name of global references by
+  Capture of the name of global references by
   binders in the presence of notations for binders
   (`#12965 <https://github.com/coq/coq/pull/12965>`_,
   fixes `#9569 <https://github.com/coq/coq/issues/9569>`_,
-- 
cgit v1.2.3