diff options
Diffstat (limited to 'members.json')
| -rw-r--r-- | members.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/members.json b/members.json index 1a605e24b5..e4a5f5d7fa 100644 --- a/members.json +++ b/members.json @@ -132,7 +132,7 @@ "peter-meszaros" : "Peter Meszaros", "peter-scott" : "Peter Scott", "petr-roubicek" : "Petr Roubicek", - "pkmnx" : "Pkmnx", + "pkmnx" : "Philip Hood", "plis-acm" : "Plis Acm", "polettix" : "Flavio Poletti", "philippe-bruhat" : "Philippe Bruhat", |