Is it just the summer holidays or has Google fucked up Google Groups and stopped posting things since August 2nd?

This group being silent for that long doesn't seem unusual.  Some of the others I have been frequent on the other hand, should have a wee bit more activity in them.