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 f693766d8d..537c1c61aa 100644 --- a/members.json +++ b/members.json @@ -35,6 +35,7 @@ "freddie-b" : "Freddie B", "guillermo-ramos" : "Guillermo Ramos", "gustavo-chaves" : "Gustavo Chaves", + "hauke-d" : "Hauke Dampfling", "jacques-guinnebault" : "Jacques Guinnebault", "jaldhar-h-vyas" : "Jaldhar H. Vyas", "james-smith" : "Dr James A. Smith", |