[MLton] amd64 branch merged?

[Stephen Weeks]

> > There was talk of 64 bit branch being merged into trunk,
> > did this get done?
>
> Not quite yet.  I'd like to see the Debian issues resolved before merging,
> since there will likely to be new issues with the revised runtime.

All the Debian issues are resolved, and MLton 20061107 is in testing.
So, if there are no other issues, it would be great to see the merge.