https://bugzilla.redhat.com/show_bug.cgi?id=1532990 Jens Petersen <petersen@xxxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel@lists.fedorap | |roject.org --- Comment #1 from Jens Petersen <petersen@xxxxxxxxxx> --- Needed to revive idris https://koji.fedoraproject.org/koji/taskinfo?taskID=24089783 -- 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
