[Python-checkins] devguide: Add Petri.

[georg.brandl]

http://hg.python.org/devguide/rev/1a5441149f0d
changeset:   456:1a5441149f0d
user:        Georg Brandl <georg at python.org>
date:        Sat Oct 22 18:07:04 2011 +0200
summary:
  Add Petri.

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
@@ -24,6 +24,9 @@
 Permissions History
 -------------------
 
+- Petri Lehtinen was given push privileges on Oct 22 2011 by GFB, for
+  general contributions, on recommendation by Antoine Pitrou.
+
 - Meador Inge was given push privileges on Sep 19 2011 by GFB, for
   general contributions, on recommendation by Mark Dickinson.
 

-- 
Repository URL: http://hg.python.org/devguide