# HG changeset patch
# User wenzelm
# Date 1334611388 -7200
# Node ID 5024b37c489c1c6cb8ac6bfc43d140ab3781ede8
# Parent  4b0daca2bf889686d4fe1e812a3490065c3ebe2a
more user aliases;

diff -r 4b0daca2bf88 -r 5024b37c489c Admin/user-aliases
--- a/Admin/user-aliases	Mon Apr 16 23:07:40 2012 +0200
+++ b/Admin/user-aliases	Mon Apr 16 23:23:08 2012 +0200
@@ -9,7 +9,10 @@
 tsewell@nicta.com.au tsewell
 kaliszyk@in.tum.de kaliszyk
 Philipp\ Meyer meyerp
-Timothy\ Bourke tbourke
 noschinl@in.tum.de noschinl
 brianh@cs.pdx.edu huffman
 nik sultana
+griff Christian Sternagel
+cezarykaliszyk@gmail.com kaliszyk
+hellerar@macbroy24.informatik.tu-muenchen.de hellerar
+tbourke Timothy Bourke