- **Added:**
  Allow scope delimiters in Ltac2 open_constr:(...) quotation
  (`#13939 <https://github.com/coq/coq/pull/13939>`_,
  fixes `#12806 <https://github.com/coq/coq/issues/12806>`_,
  by Pierre-Marie Pédrot).