https://bugzilla.redhat.com/show_bug.cgi?id=1594765
Fedora Update System <updates(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ON_QA |CLOSED
Resolution|--- |ERRATA
Last Closed| |2018-08-14 17:08:01
--- Comment #12 from Fedora Update System <updates(a)fedoraproject.org> ---
idris-1.3.0-4.fc28 has been pushed to the Fedora 28 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.