[Checkers] May 23 development release

[Michael Ernst]

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.)

                     Thanks,

                    -Mike