Thu Aug 30 22:58:07 BST 2012 Ian Lynagh <ian@well-typed.com> * Allow admins to add/remove admins Ignore-this: 552762da705aee949c063df88e07e445 This fix feels a little unsatisfactory to me. groupResourceAt will modify adminGroupDesc, but it will not modify the nested copies of adminGroupDesc in the canAddGroup/canRemoveGroup lists. I think it's the right fix given the existing system, though. M ./Distribution/Server/Features/Users.hs -2 +2