more user aliases;
authorwenzelm
Mon Apr 16 23:23:08 2012 +0200 (2012-04-16)
changeset 475005024b37c489c
parent 47499 4b0daca2bf88
child 47501 0b9294e093db
more user aliases;
Admin/user-aliases
     1.1 --- a/Admin/user-aliases	Mon Apr 16 23:07:40 2012 +0200
     1.2 +++ b/Admin/user-aliases	Mon Apr 16 23:23:08 2012 +0200
     1.3 @@ -9,7 +9,10 @@
     1.4  tsewell@nicta.com.au tsewell
     1.5  kaliszyk@in.tum.de kaliszyk
     1.6  Philipp\ Meyer meyerp
     1.7 -Timothy\ Bourke tbourke
     1.8  noschinl@in.tum.de noschinl
     1.9  brianh@cs.pdx.edu huffman
    1.10  nik sultana
    1.11 +griff Christian Sternagel
    1.12 +cezarykaliszyk@gmail.com kaliszyk
    1.13 +hellerar@macbroy24.informatik.tu-muenchen.de hellerar
    1.14 +tbourke Timothy Bourke