# HG changeset patch
# User wenzelm
# Date 1390664115 -3600
# Node ID bc8cf4312ea7143c6bd0b4032dd5c2c63700adc4
# Parent  1b67b17cdad52ac41d1988ae83a1e847d3b75b7a
more user aliases;

diff -r 1b67b17cdad5 -r bc8cf4312ea7 Admin/user-aliases
--- a/Admin/user-aliases	Sat Jan 25 15:29:40 2014 +0100
+++ b/Admin/user-aliases	Sat Jan 25 16:35:15 2014 +0100
@@ -1,4 +1,5 @@
 lcp paulson
+lp15@cam.ac.uk paulson
 norbert.schirmer@web.de schirmer
 schirmer@in.tum.de schirmer
 urbanc@in.tum.de urbanc