On Mon, Mar 02, 2015 at 05:05:28 -0500, Jens Petersen wrote: > If you want to help get Agda out of the rawhide and branched reports > then please help with reviewing the 6 new deps packages in the bug dependency tree: > > https://bugzilla.redhat.com/showdependencytree.cgi?id=1164120 I'll look at them tonight. --Ben -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
