Admin/user-aliases
2014-08-04 wenzelm 2014-08-04 more user aliases;
2014-01-25 wenzelm 2014-01-25 more user aliases;
2012-07-14 wenzelm 2012-07-14 more user aliases;
2012-04-16 wenzelm 2012-04-16 more user aliases;
2011-09-24 wenzelm 2011-09-24 more user aliases;
2010-10-29 haftmann 2010-10-29 added user aliasses (still unclear how to specify names with whitespace contained)
2009-12-16 haftmann 2009-12-16 spaces not allowed, unfortunately
2009-12-16 haftmann 2009-12-16 user aliasses
2009-09-29 wenzelm 2009-09-29 aliases for Thomas Sewell;
2009-03-12 wenzelm 2009-03-12 more user aliases;
2009-01-19 haftmann 2009-01-19 lcp = paulson
2009-01-18 haftmann 2009-01-18 corrected user aliases
2009-01-18 haftmann 2009-01-18 added churn script