[MLton] Re: MLton problems on FreeBSD

[Stephen Weeks]

> 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.  

	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.