CVC4 has a new version with a new dependency. How about yet another review swap, this time for abc: https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Let me know what I can review in exchange. Thanks, -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
