Well, we missed the release date of the first Monday of the month this time round. My father-in-law died unexpectedly last week, and the release was put on hold as I had a few days away from work. I'm proposing a new release date of 13th December. Please don't break anything in git master before then! Thanks. Richard