Admin/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