Richard van der Hoff 58fbbe0f1d Disallow capital letters in userids
Factor out a common function for checking user ids and group ids, which forbids
capitals.
2017-10-20 23:37:22 +01:00
..
2017-10-19 13:36:06 +01:00
2017-10-19 11:22:48 +01:00
2017-04-05 14:15:09 +01:00
2017-10-16 13:38:10 +01:00
2017-10-19 10:27:18 +01:00
2017-10-02 18:05:17 +01:00
2017-10-05 14:58:17 +01:00
2017-10-20 23:37:22 +01:00