[Python-checkins] devguide: Add Martin.

[georg.brandl]

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