[Bug 530254] Package mime-type information for Coq files
bugzilla at redhat.com
bugzilla at redhat.com
Thu Oct 22 08:03:23 UTC 2009
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=530254
Richard W.M. Jones <rjones at redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rjones at redhat.com
--- Comment #1 from Richard W.M. Jones <rjones at redhat.com> 2009-10-22 04:03:21 EDT ---
I have no idea what this involves though. Should
the bug be assigned to another package in Fedora
or to some upstream project?
--
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.
More information about the Fedora-ocaml-list
mailing list