Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report. Summary: Review Request: coq - Coq proof management system https://bugzilla.redhat.com/show_bug.cgi?id=450323 kevin@xxxxxxxxx changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |kevin@xxxxxxxxx OtherBugsDependingO|177841 | nThis| | ------- Additional Comments From kevin@xxxxxxxxx 2008-07-14 14:36 EST ------- Hey Alan, I would be happy to sponsor you. Please continue the process at: http://fedoraproject.org/wiki/PackageMaintainers/Join#Add_Package_to_CVS_and_Set_Owner If you have any questions at all with processes and procedures, feel free to email me directly, or find me on irc.freenode.com (nickname: nirik). -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review