doc/changelog/03-notations/12683-master+fix12682-notation-printing-nary-application-ref.rst


1
2
3
4
5

- **Fixed:**
  Printing bug with notations for n-ary applications used with applied references.
  (`#12683 <https://github.com/coq/coq/pull/12683>`_,
  fixes `#12682 <https://github.com/coq/coq/pull/12682>`_,
  by Hugo Herbelin).