mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-07 00:55:59 +00:00
in particular, adding user in a different name than the group, as in the past I had a bug where I mix up user name and group names. git-svn-id: https://hudson.dev.java.net/svn/hudson/trunk/hudson/main@6464 71c3de6d-444a-0410-be80-ed276b4c234a