https://hg.python.org/devguide/rev/b10fd6c7d9ca changeset: 759:b10fd6c7d9ca user: Georg Brandl <georg at python.org> date: Mon Aug 10 19:15:56 2015 +0200 summary: Add Martin. files: developers.rst | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/developers.rst b/developers.rst --- a/developers.rst +++ b/developers.rst @@ -25,6 +25,9 @@ Permissions History ------------------- +- Martin Panter was given push privileges on August 10, 2015 by GFB, + on the recommendation of R. David Murray. + - Paul Moore was given push privileges on March 18, 2015 by Brett Cannon, on his own recommendation. -- Repository URL: https://hg.python.org/devguide