Overview
Request 1156169 accepted
- Update to version 8.19.1.
* Fixed incorrect abstraction of sort variables for opaque
constants leading to an inconsistency.
* Fixed memory corruption with `vm_compute` (rare but more
likely with OCaml 5.1).
* "Found no matching notation to enable or disable" is now a
warning instead of an error.
* Fixed undeclared universe with multiple uses of `abstract`.
* Fixed incorrect printing of constructor values with multiple
arguments, and over-parenthesizing of constructor printing.
* Fixed incorrect declared type for Ltac2.FMap.fold.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 8.19.1.
* Fixed incorrect abstraction of sort variables for opaque
constants leading to an inconsistency.
* Fixed memory corruption with `vm_compute` (rare but more
likely with OCaml 5.1).
* "Found no matching notation to enable or disable" is now a
warning instead of an error.
* Fixed undeclared universe with multiple uses of `abstract`.
* Fixed incorrect printing of constructor values with multiple
arguments, and over-parenthesizing of constructor printing.
* Fixed incorrect declared type for Ltac2.FMap.fold.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
staging-bot added openSUSE:Factory:Staging:adi:3 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:3"
staging-bot accepted review
Picked "openSUSE:Factory:Staging:adi:3"
darix accepted review
Accepted review for by_group opensuse-review-team request 1156169 from user staging-bot
anag+factory accepted review
Staging Project openSUSE:Factory:Staging:adi:3 got accepted.
anag+factory approved review
Staging Project openSUSE:Factory:Staging:adi:3 got accepted.
anag+factory accepted request
Staging Project openSUSE:Factory:Staging:adi:3 got accepted.