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 6c041d848f..4a19ea139e 100644 --- a/members.json +++ b/members.json @@ -73,6 +73,7 @@ "guillermo-ramos" : "Guillermo Ramos", "gurunandan-bhat" : "Gurunandan Bhat", "gustavo-chaves" : "Gustavo Chaves", + "habere-et-dispetire" : "habere-et-dispetire", "hatorikibble" : "Peter Mayr", "hauke-d" : "Hauke Dampfling", "henry-wong" : "Henry Wong", |