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