diff options
Diffstat (limited to 'members.json')
| -rw-r--r-- | members.json | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/members.json b/members.json index 436a9c2d81..2051211f5c 100644 --- a/members.json +++ b/members.json @@ -39,6 +39,7 @@ "brtastic" : "Bartosz Jarzyna", "bruno-ramos" : "Bruno Ramos", "burkhard-nickels" : "Burkhard Nickels", + "carlos-oliveira" : "Carlos Oliveira", "cheok-yin-fung" : "Cheok-Yin Fung", "christian-jaeger" : "Christian Jaeger", "cliveholloway" : "Clive Holloway", @@ -196,6 +197,7 @@ "peter-meszaros" : "Peter Meszaros", "peter-scott" : "Peter Scott", "petr-roubicek" : "Petr Roubicek", + "pip" : "Pip Stuart", "pjdurai" : "PJ Durai", "pkmnx" : "Philip Hood", "plis-acm" : "Plis Acm", |