You're not reviewing the full diff of
request 957466
, but the diff to the superseded
request 956044
(Show full diff)
Overview
Request 957466 accepted
Needed for Coq.
- Created by aaronpuchert
- In state accepted
- Supersedes 956044
Loading...
Login required, please
login
in order to comment
Request History
aaronpuchert created request
Needed for Coq.
licensedigger accepted review
ok
maxlin_factory added as a reviewer
Being evaluated by staging project "openSUSE:Backports:SLE-15-SP4:Staging:adi:23"
maxlin_factory accepted review
Picked "openSUSE:Backports:SLE-15-SP4:Staging:adi:23"
maxlin_factory accepted review
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:23 got accepted.
maxlin_factory approved review
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:23 got accepted.
maxlin_factory accepted request
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:23 got accepted.