2014-08-06 17:51 GMT+04:00 Adam Chlipala <[email protected]>: > I've now fixed the bug, which was in an algebraic optimization and had no > special connection to [postBody].
Thanks! > P.S.: In the future, please report such issues on the Mantis bug tracker, > rather than on this mailing list. I forgot completely about mantis, sorry. Regards, Sergey _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
