[MLton] Re: MLton problems on FreeBSD
Thu, 6 Jan 2005 15:54:25 -0800
> We needed several iterations for the first time, because it was an
> unusual and complicated port, but just for an update, it should be
> simple, and you should send a PR directly.
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.