Re: git is live

Tom Tromey
2013-11-06T17:22:40Z

HJ> Another problem. Checkin no longer shows up in bug report:
HJ> https://sourceware.org/bugzilla/show_bug.cgi?id=16130

It was a buglet in post-receive-email.
I've checked in a fix.

Tom