> Sorry: I thought that there was a bug you said you introduced. Perhaps that > wasn't relevant to the release. Is the mlton-home.tgz I downloaded around > 3:45 P.M. central time ok for release as far as you know? No known bugs. Yes.