GitLab

#172
!11

Fix #193

/close #186

This is the reason why the errors for #107 were not reported.
Still, this does not fix pushing to MediaWiki, as the problem is on the
wiki side.

Honor user.primaryGroupID in addition to memberOf.
Also, the group choice dialog now offers all groups anyone can have.

/close #160

/close #97
/close #187

/close #190

Merge branch 'master' into 172-dokumentation-ueberarbeiten to prepare to role out the changes made to master

#172
#153

#172

#172

#172

#172

#172

#172

#172

protokollsytem/proto3#172

#172

#172

#172

#172

#172

#172

#172

/close #181

#172

#172

#172

#172

#172

#172

#172