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 65daa48e2d..b2ee502d65 100644 --- a/members.json +++ b/members.json @@ -63,6 +63,7 @@ "mano-chandar" : "Mano Chandar", "mark-anderson" : "Mark Anderson", "mark-senn" : "Mark Senn", + "markus-holzer" : "Markus Holzer", "martin-barth" : "Martin Barth", "martin-mugeni" : "Martin Mugeni", "matt-latusek" : "Matt Latusek", |