https://bugzilla.redhat.com/show_bug.cgi?id=1594765
--- Comment #7 from Jens Petersen <[email protected]> --- Changes are also pushed in git now https://src.fedoraproject.org/rpms/idris/commits/master -- 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 -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]/message/7MN5R2STZ7M3STSZDSHW63RUYW73J45H/
