https://bugzilla.redhat.com/show_bug.cgi?id=1511751 Fedora Update System <updates@xxxxxxxxxxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2017-12-12 06:15:58 --- Comment #10 from Fedora Update System <updates@xxxxxxxxxxxxxxxxx> --- Agda-2.5.2-9.fc27, ghc-gitrev-1.3.1-9.fc27 has been pushed to the Fedora 27 stable repository. If problems still persist, please make note of it in this bug report. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx
