Hi all, August 31 is our next scheduled release date. The release should probably go out because the documentation in the last release did not properly build (since corrected, but no new artifacts have been pushed). Other than that, I can think of nothing that hints at a new release - the mailing lists have been quite slow, and there are three issues in the release, that is all.
Given that, I propose doing a patch release, not a full release. Any objections? Karl
