Admin/user-aliases
Wed, 11 Jan 2017 22:08:20 +0100 haftmann augmented user aliasses
Wed, 10 Jun 2015 19:05:19 +0200 wenzelm more user aliases;
Sun, 08 Mar 2015 22:09:25 +0100 wenzelm clarified aliases;
Mon, 04 Aug 2014 10:47:26 +0200 wenzelm more user aliases;
Sat, 25 Jan 2014 16:35:15 +0100 wenzelm more user aliases;
Sat, 14 Jul 2012 20:59:49 +0200 wenzelm more user aliases;
Mon, 16 Apr 2012 23:23:08 +0200 wenzelm more user aliases;
Sat, 24 Sep 2011 10:45:57 +0200 wenzelm more user aliases;
Fri, 29 Oct 2010 16:04:35 +0200 haftmann added user aliasses (still unclear how to specify names with whitespace contained)
Wed, 16 Dec 2009 14:24:18 +0100 haftmann spaces not allowed, unfortunately
Wed, 16 Dec 2009 14:15:24 +0100 haftmann user aliasses
Tue, 29 Sep 2009 22:53:07 +0200 wenzelm aliases for Thomas Sewell;
Thu, 12 Mar 2009 23:12:53 +0100 wenzelm more user aliases;
Mon, 19 Jan 2009 13:38:23 +0100 haftmann lcp = paulson
Sun, 18 Jan 2009 21:36:59 +0100 haftmann corrected user aliases
Sun, 18 Jan 2009 21:12:06 +0100 haftmann added churn script
less more (0) tip