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=691913 --- Comment #4 from Jerry James <loganjerry@xxxxxxxxx> 2011-10-27 16:22:37 EDT --- Even though I still don't want to comaintain ocaml-camlp5, I would like to see us get a version with this bug fixed. I'm going to commit the changes necessary to move to version 6.02.3, which fixes all the (known) bugs I care about as coq comaintainer. -- 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. _______________________________________________ ocaml-devel mailing list ocaml-devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel