Overview
Request 889764 accepted
- Update to version 8.13.2.
* Fix crash when using vm_compute on an irreducible PArray.set.
* Fix crash when loading .vo files containing a vm_compute
normalized primitive array.
* Fix Ltac2.Array.init computational complexity.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 8.13.2.
* Fix crash when using vm_compute on an irreducible PArray.set.
* Fix crash when loading .vo files containing a vm_compute
normalized primitive array.
* Fix Ltac2.Array.init computational complexity.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
dimstar_suse added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:21"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:21"
dimstar accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:21 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:21 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:21 got accepted.