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=631302
Fedora Update System changed:
What|Removed |Added
--
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=631302
--- Comment #12 from Fedora Update System
2011-04-15 17:47:55 EDT ---
coq-8.3pl1-2.fc15 has been pushed to the Fedora 15 stable
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=631302
Jerry James changed:
What|Removed |Added
---