As a committer can I get my github ID added so that I can close PR's? bimargulies would be the relevant ID.
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
