[Bug 1594765] Review Request: idris - Functional Programming Language with Dependent Types
https://bugzilla.redhat.com/show_bug.cgi?id=1594765
--- Comment #5 from Jens Petersen <petersen(a)redhat.com> ---
Thanks for catching that - I should report it upstream.
--
You are receiving this mail because:
You are on the CC list for the bug.