Bugfix for batch permission assignment
Merge branch 'user' of https://github.com/pi-engine/pi into user