Overview
Request 720581 accepted
Initial release based on version 7.07.
- Created by aaronpuchert
- In state accepted
Loading...
Request History
aaronpuchert created request
Initial release based on version 7.07.
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:2 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:2"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:2
dimstar accepted review
olh accepted review
staging-bot accepted review
ready to accept
staging-bot approved review
ready to accept
dimstar_suse accepted request
Accept to openSUSE:Factory
@olh: I need this for Coq, which I want to submit to
science
, and then later to Factory as well.@andisugandi, @olh: review reminder