Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Merges user privilages into correct role #62
Somehow user privileges where being changed on
This bug is affecting master after yesterday's merges.
added a commit
this pull request
Jan 30, 2015
Thanks @leonelgalan, and so sorry for the break. The backlog with PRs was rather big before this week, and I really have to squeeze to get maintenance time for all the ANXS roles in (candidate co-maintainers are very welcome).
Anyway, thank you for patching it, it's greatly appreciated.
Have a great weekend.