blob: bf65719516ba5718c630237bec31f920cdb3dff2 (
plain)
1
2
3
4
5
6
|
- **Fixed:**
``coqdoc`` now reports the location of a mismatched opening ``[[`` instead of
throwing an uninformative exception.
(`#12037 <https://github.com/coq/coq/pull/12037>`_,
fixes `#9670 <https://github.com/coq/coq/issues/9670>`_,
by Lysxia).
|
