# HG changeset patch # User wenzelm # Date 1316853957 -7200 # Node ID aa9fe909d3221ad0f192b8e55aa6414ce20fcac5 # Parent 09cdc4209d25f455d384545a8f2dedce20ce3373 more user aliases; diff -r 09cdc4209d25 -r aa9fe909d322 Admin/user-aliases --- a/Admin/user-aliases Sat Sep 24 00:17:32 2011 +0100 +++ b/Admin/user-aliases Sat Sep 24 10:45:57 2011 +0200 @@ -12,3 +12,4 @@ Timothy\ Bourke tbourke noschinl@in.tum.de noschinl brianh@cs.pdx.edu huffman +nik sultana