Revision 78b5b7f7
fix #7603: changing permission group in edior needs to change the group in user
Files
- added
- modified
- copied
- renamed
- deleted
ID | 78b5b7f70fef88f8a0bebba7aa3f5e7d85545514 |
Parent | f210d453 |
Child | 54ce28cf |
Added by Katja Luther over 2 years ago
fix #7603: changing permission group in edior needs to change the group in user