blob: 7a2fa9185f4963bdd81ecd598710b9bbd5a34010 (
plain)
1
2
3
4
5
6
|
- **Fixed:**
Using :cmd:`Require` inside a section caused an anomaly when closing
the section. (`#11972 <https://github.com/coq/coq/pull/11972>`_, by
Gaëtan Gilbert, fixing `#11783
<https://github.com/coq/coq/issues/11783>`_, reported by Attila
Boros).
|
