[MLton] Slow commits to MLton's SVN repository

[Vesa Karvonen]

For the second time I encountered difficulty performing a largish (but not
that large) commit to MLton's SVN repository.  Looking at ps output, the
commit ran for at least about 40 minutes before I decided to give up and
perform multiple small commits instead.  What could be the problem?  Is the
SVN server very old?  Are precommit scripts taking ages?