# HG changeset patch
# User wenzelm
# Date 1433955919 -7200
# Node ID 7c2404ca7f49fba08acec745579333acc91db3fb
# Parent  0bcffc47eacaf924359e7840935ad4251cc9465f
more user aliases;

diff -r 0bcffc47eaca -r 7c2404ca7f49 Admin/user-aliases
--- a/Admin/user-aliases	Wed Jun 10 18:57:31 2015 +0200
+++ b/Admin/user-aliases	Wed Jun 10 19:05:19 2015 +0200
@@ -21,4 +21,5 @@
 tbourke = Timothy Bourke
 gerwin.klein@nicta.com.au = kleing
 Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
-Manuel Eberl = eberlm
\ No newline at end of file
+Manuel Eberl = eberlm
+Mathias.Fleury@mpi-inf.mpg.de = fleury