https://bugzilla.redhat.com/show_bug.cgi?id=947819 Fedora Update System <updates@xxxxxxxxxxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|package-review@lists.fedora | |project.org | --- Comment #22 from Fedora Update System <updates@xxxxxxxxxxxxxxxxx> --- idris-0.9.4.1-1.fc18 has been submitted as an update for Fedora 18. https://admin.fedoraproject.org/updates/idris-0.9.4.1-1.fc18 -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=fllIgVSQug&a=cc_unsubscribe _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review