path: root/doc/changelog/03-notations/11172-master+coercion-notation-interleaved-printing.rst

- The printing algorithm now interleave search for notations and removal of coercions
  (`#11172 <https://github.com/coq/coq/pull/11172>`_, by Hugo Herbelin).