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 421958150b..b9b552e331 100644 --- a/members.json +++ b/members.json @@ -58,6 +58,7 @@ "kivanc-yazan" : "Kivanc Yazan", "kiran-kumar" : "Kiran Kumar", "lars-balker" : "Lars Balker", + "lars-thegler" : "Lars Thegler", "laurent-rosenfeld" : "Laurent Rosenfeld", "lubos-kolouch" : "Lubos Kolouch", "magnus-woldrich" : "Magnus Woldrich", |