diff options
-rw-r--r-- | members.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/members.txt b/members.txt index 4f05e2d..8081379 100644 --- a/members.txt +++ b/members.txt | |||
@@ -8,7 +8,7 @@ Florian Dold <dold@in.tum.de> | |||
8 | Markus Teich <teichm@in.tum.de> | 8 | Markus Teich <teichm@in.tum.de> |
9 | Christian Fuchs <christian at cfuchs [dot] net> | 9 | Christian Fuchs <christian at cfuchs [dot] net> |
10 | David Barksdale <amatus@amat.us> | 10 | David Barksdale <amatus@amat.us> |
11 | Martin Schanzenbach <schanzen@in.tum.de> | 11 | Martin Schanzenbach <mschanzenbach@posteo.de> |
12 | Daniel Golle <daniel@makrotopia.org> | 12 | Daniel Golle <daniel@makrotopia.org> |
13 | Nils Durner <ndurner at gmail dot com> | 13 | Nils Durner <ndurner at gmail dot com> |
14 | Julius Buenger <buenger at mytum dot de> | 14 | Julius Buenger <buenger at mytum dot de> |