# HG changeset patch
# User haftmann
# Date 1232368739 -3600
# Node ID 7de51bcbf15e942ef20f8601c01a047c018d052d
# Parent  fa6c5d62adf59d2fb9d79147f84975f1256eaf1f# Parent  d8c2712749b88a7acdc1dc9e27199e321868d646
merged

diff -r fa6c5d62adf5 -r 7de51bcbf15e Admin/user-aliases
--- a/Admin/user-aliases	Mon Jan 19 13:37:24 2009 +0100
+++ b/Admin/user-aliases	Mon Jan 19 13:38:59 2009 +0100
@@ -1,3 +1,4 @@
+lcp paulson
 norbert.schirmer@web.de schirmer
 urbanc@in.tum.de urbanc
 nipkow@lapbroy100.local nipkow
\ No newline at end of file