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: prover9 - Thereom Prover and Countermodel Generator https://bugzilla.redhat.com/show_bug.cgi?id=451996 ------- Additional Comments From timc@xxxxxxxxxxxx 2008-07-30 09:32 EST ------- Hi. I confirm that I am requesting sponsorship. My FAS name is "tcolles". Note that on "http://fedoraproject.org/wiki/PackageMaintainers/Join"; it says that you need to apply to the "cvsextras" group which no longer seems to exist (the page also has a broken link to that group). It looks to me like it should now be the "packager" group, and that is the one I have applied for, perhaps the web page could be updated (if I am correct). -- 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