[[!comment format=mdwn
 username="http://joeyh.name/"
 ip="4.153.8.7"
 subject="sorry for delay.."
 date="2013-09-03T18:07:34Z"
 content="""
That's weird.. I have a post-update hook that runs git-update-server-info, but I reproduced the problem, and manually running that fixed it.

Guess I will need to keep an eye on this at the next release to see if it was a one-off problem..
"""]]