- **Added:**
  Added a ``printf`` macro to Ltac2. It can be made accessible by
  importing the ``Ltac2.Printf`` module. See the documentation
  there for more information
  (`#13236 <https://github.com/coq/coq/pull/13236>`_,
  fixes `#10108 <https://github.com/coq/coq/issues/10108>`_,
  by Pierre-Marie Pédrot).