diff options
Diffstat (limited to 'members.json')
| -rw-r--r-- | members.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/members.json b/members.json index 0635e0fcbc..8186399b61 100644 --- a/members.json +++ b/members.json @@ -216,6 +216,7 @@ "pete-sergeant" : "Pete Sergeant", "peter-campbell-smith" : "Peter Campbell Smith", "peter-meszaros" : "Peter Meszaros", + "ppentchev" : "Peter Pentchev", "peter-scott" : "Peter Scott", "petr-roubicek" : "Petr Roubicek", "pip" : "Pip Stuart", |