[Bug 999011] idris-0.12.3 is available

[Red Hat Bugzilla]

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

Fedora Admin XMLRPC Client <fedora-admin-xmlrpc(a)redhat.com&gt; changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|petersen(a)redhat.com         |extras-orphan@fedoraproject
                   |                            |.org



--- Comment #96 from Fedora Admin XMLRPC Client <fedora-admin-xmlrpc(a)redhat.com&gt;
---
This package has changed ownership in the Fedora Package Database.  Reassigning
to the new owner of this component.

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