[Checkers] May 23 development release

Michael Ernst mernst at csail.mit.edu
Tue May 27 15:43:45 EDT 2008

Mahmood (and Matt)-

Why was the May 23 release a development release and not a stable release?
(The last stable release was a month ago.)

Was there something specific that we know of that isn't stable or complete
about it?  (My general philosophy is to make every release a stable
release, unless there is a reason for it.)



More information about the checkers mailing list