Admin/user-aliases
changeset 60419 7c2404ca7f49
parent 59654 e327a9ae2d61
child 64880 3f36c53aa105
     1.1 --- a/Admin/user-aliases	Wed Jun 10 18:57:31 2015 +0200
     1.2 +++ b/Admin/user-aliases	Wed Jun 10 19:05:19 2015 +0200
     1.3 @@ -21,4 +21,5 @@
     1.4  tbourke = Timothy Bourke
     1.5  gerwin.klein@nicta.com.au = kleing
     1.6  Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
     1.7 -Manuel Eberl = eberlm
     1.8 \ No newline at end of file
     1.9 +Manuel Eberl = eberlm
    1.10 +Mathias.Fleury@mpi-inf.mpg.de = fleury