[MLton] Re: MLton problems on FreeBSD

[Thierry Thomas]

Le Ven  7 jan 05 à  0:54:25 +0100, Stephen Weeks <sweeks@sweeks.com>
 œrivait :
> I just did a send-pr.  
> 
> 	http://www.freebsd.org/cgi/query-pr.cgi?pr=75903
> 
> (the report doesn't show up yet, but I guess it will soon)
> 
> I'd appreciate anything you can do to make sure the patch gets applied
> before MLton is removed on February 18.  Thanks.

Hello,

I'm currently busy with a big update of Code_Aster and related ports,
and I had planned to check it after that.

Have you seen Sergey's feedback?

Regards,
-- 
Th. Thomas.