[Checkers] Next Release

[Michael Ernst]

Mahmood-

> I am planning to finish up the comments for the code review by today  
> or tomorrow the latest, and update the release documentation by  
> tomorrow.

Great!  Thanks for doing that.

> Would you like to make  
> release tomorrow?

Are there any compelling bug fixes or feature improvements?  If so, let's
make a new release.  If not, then I
don't think we need to make a new release, given that there was one just a
couple of days ago.

Now that you and Telmo can work full time and are making lots of
improvements, I would like to see regular releases (every 1-2 weeks; we can
decide what is best), both to get new features to users and to get bug
reports before you leave.

                    -Mike