> How's it's speed in comparison to 110.9.1? I just installed it on my > machine here, and it seemed to bootstrap itself faster that I remember > 110.9.1 doing. I noticed that too. But it's not any faster on my machine -- 12.5 minutes to do a "make nj-mlton" from a clean slate.