blob: f90d611f84b2f72b01838a5c369c3b93c2557146 (
plain)
1
2
3
4
5
|
- **Fixed:**
Crash when using :tacn:`vm_compute` on an irreducible ``PArray.set``
(`#14005 <https://github.com/coq/coq/pull/14005>`_,
fixes `#13998 <https://github.com/coq/coq/issues/13998>`_,
by Guillaume Melquiond).
|
