diff options
Diffstat (limited to 'members.txt')
-rw-r--r-- | members.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/members.txt b/members.txt index 1e30fa5..792d56d 100644 --- a/members.txt +++ b/members.txt | |||
@@ -8,3 +8,4 @@ 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@amatus.name> | 10 | David Barksdale <amatus@amatus.name> |
11 | Martin Schanzenbach <schanzen@in.tum.de> | ||