doc/changelog/03-notations/13092-master+fix-13078-no-binder-in-pattern-notation.rst


1
2
3
4
5

- **Fixed:**
  Preventing notations for constructors to involve binders
  (`#13092 <https://github.com/coq/coq/pull/13092>`_,
  fixes `#13078 <https://github.com/coq/coq/issues/13078>`_,
  by Hugo Herbelin).