blob: 9ed013245e6ce009d2824ce2fdee954c6572f102 (
plain)
1
2
3
4
5
6
|
- **Changed:**
The representation of micromega caches was slightly
altered for efficiency purposes. As a consequence
all stale caches must be cleaned up
(`#13405 <https://github.com/coq/coq/pull/13405>`_,
by Pierre-Marie Pédrot).
|
