> During my last commit I received the following warning message. > [...] Yes, this was a server problem. Should be fixed now, and commits are once again sent to the list (and added to the RSS feed).