- **Fixed:**
  Ltac2 notations now correctly take into account their assigned level
  (`#14094 <https://github.com/coq/coq/pull/14094>`_,
  fixes `#11866 <https://github.com/coq/coq/issues/11866>`_,
  by Pierre-Marie Pédrot).