# 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