doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars-notations.rst


1
2
3
4
5
6

- **Fixed:**
  Occasional unexpected 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>`_,
  by Hugo Herbelin).