Static archive.
pagure.io was sunset in 2026; this is a read-only snapshot.
waiverdb
Source
Issues
72
Pull Requests
359
Forks
29
Releases
31
#201
Obsolete waivers only if product version and username is same
Merged
May 29, 2018
by
lholecek.
Opened
May 25, 2018
by lholecek.
lholecek/waiverdb
omit-obsoleting-waivers-with-different-product-or-user
into
master
Download 201.patch
lholecek
commented
May 25, 2018
Fixes #137
gnaponie
commented
May 28, 2018
it looks good
dcallagh
commented
May 29, 2018
:+1:
Pull-Request has been merged by lholecek
May 29, 2018
Metadata
Assignee
None
Tags
No Tags
Fixes #137