[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


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

Markus Mayer <LotharLutz at gmx.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |LotharLutz at gmx.de
         AssignedTo|nobody at fedoraproject.org    |LotharLutz at gmx.de
               Flag|                            |fedora-review?

--- Comment #2 from Markus Mayer <LotharLutz at gmx.de> 2011-10-29 05:03:28 EDT ---
Hi Jerry,

I am taking this.

Maybe you want to review a package of mine:
https://bugzilla.redhat.com/show_bug.cgi?id=737263

Regards,
Markus

-- 
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.