[MLton-devel] CVS problems

[Stephen Weeks]

> Several times when I checked out stuff from the new site it seemed to run fine
> but then just hung, never exiting.  In the end I had to kill it off.
> My guess would be some kind of early exiting or else the last few packets are
> not getting through.

The CVS site hasn't changed.  If you've noticed a problem in the last
24 hours, it is a sourceforge problem (and a coincidence, I think).


-------------------------------------------------------
In remembrance
www.osdn.com/911/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel