https://bugzilla.redhat.com/show_bug.cgi?id=1208718
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|POST |CLOSED Resolution|--- |RAWHIDE Last Closed| |2016-07-14 06:35:05
--- Comment #19 from Jens Petersen petersen@redhat.com --- ghc-tagged-0.8.4-1.fc25