[MLton] Re: MLton problems on FreeBSD
Sun, 9 Jan 2005 10:01:41 +0100
Le Ven 7 jan 05 ŗ 0:54:25 +0100, Stephen Weeks <email@example.com>
> I just did a send-pr.
> (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.
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?