blob: a1b8594f5f6e6ab7d39f3ceb1f3e490ca753e21e (
plain)
1
2
3
4
|
- **Fixed:**
:cmd:`Print Visibility` was failing in the presence of only-printing notations
(`#11276 <https://github.com/coq/coq/pull/11276>`_,
by Hugo Herbelin, fixing `#10750 <https://github.com/coq/coq/pull/10750>`_).
|
