commit 2e8de417896c0d9d856ab59d9866816e40d77be0 parent 2dea989f4ddfbcf86bfbcfcd3ca4f4c39cdc0dcc Author: Martin Schanzenbach <mschanzenbach@posteo.de> Date: Wed, 11 Mar 2015 18:14:46 +0000 -add martin Diffstat:
| M | members.txt | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/members.txt b/members.txt @@ -8,3 +8,4 @@ Florian Dold <dold@in.tum.de> Markus Teich <teichm@in.tum.de> Christian Fuchs <christian at cfuchs [dot] net> David Barksdale <amatus@amatus.name> +Martin Schanzenbach <schanzen@in.tum.de>