There are lots of new bug fixes and enhancements in Git, so Thomas and I thought it's time for a new release. The idea is to cut it next week. Let us know if there is anything that must go in before the release. Holger