This is the legacy version of We will be shutting it down on 15 December 2020. Please switch to a supported browser or device. You can see a list of supported browsers in our Help Center.
Peter Todd 2 May 16
Replying to @gavinandresen
is still a repo member, but w/o any admin/commit privileges.