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

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