blob: a191716b2f304fd7059e4edf8f937e19c36ec6a2 (
plain)
1
2
3
4
5
6
|
- **Fixed:**
printing of the quotation qualifiers when printing :g:`Ltac` functions
(`#13028 <https://github.com/coq/coq/pull/13028>`_,
fixes `#9716 <https://github.com/coq/coq/issues/9716>`_
and `#13004 <https://github.com/coq/coq/issues/13004>`_,
by Hugo Herbelin).
|
