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