# HG changeset patch
# User wenzelm
# Date 1254257587 -7200
# Node ID 87491cac8b83a73ddb48161c821f6b0e2bd018d1
# Parent  3032c03080198608e66666642a286c9dca28e441
aliases for Thomas Sewell;

diff -r 3032c0308019 -r 87491cac8b83 Admin/user-aliases
--- a/Admin/user-aliases	Tue Sep 29 22:48:24 2009 +0200
+++ b/Admin/user-aliases	Tue Sep 29 22:53:07 2009 +0200
@@ -4,3 +4,5 @@
 nipkow@lapbroy100.local nipkow
 chaieb@chaieb-laptop chaieb
 immler@in.tum.de immler
+tsewell@rubicon.NSW.bigpond.net.au tsewell
+tsewell@nicta.com.au tsewell