[Bug 999011] idris-0.12.1 is available

[Red Hat Bugzilla]

https://bugzilla.redhat.com/show_bug.cgi?id=999011



--- Comment #84 from Upstream Release Monitoring
<upstream-release-monitoring(a)fedoraproject.org&gt; ---
Created attachment 1184235
  --> https://bugzilla.redhat.com/attachment.cgi?id=1184235&action=edit
Rebase-helper rebase-helper-debug.log log file.
See for details and report the eventual error to rebase-helper
https://github.com/phracek/rebase-helper/issues.

-- 
You are receiving this mail because:
You are on the CC list for the bug.