# HG changeset patch
# User wenzelm
# Date 1407142046 -7200
# Node ID ee908fccabc220a5f2e5af533d13ebceeb0e09ff
# Parent  0ecc524797dcf92113bba894c41c6fb7da9a9440
more user aliases;

diff -r 0ecc524797dc -r ee908fccabc2 Admin/user-aliases
--- a/Admin/user-aliases	Mon Aug 04 07:31:27 2014 +0200
+++ b/Admin/user-aliases	Mon Aug 04 10:47:26 2014 +0200
@@ -12,6 +12,7 @@
 kaliszyk@in.tum.de kaliszyk
 Philipp\ Meyer meyerp
 noschinl@in.tum.de noschinl
+Lars Noschinski\ <noschinl@in.tum.de> noschinl
 brianh@cs.pdx.edu huffman
 nik sultana
 griff Christian Sternagel