minor fix to manager extension

This commit is contained in:
Jonas Haugland 2022-03-23 09:37:10 +01:00
parent 6c62a699cb
commit e98da752d5
1 changed files with 1 additions and 1 deletions

View File

@ -10,7 +10,7 @@ package Administrators {
note "Manager extends admin" as MgrNote note "Manager extends admin" as MgrNote
mgr .l. MgrNote mgr .l. MgrNote
MgrNote .l. adm MgrNote .l.|> adm
} }
actor User as u1 actor User as u1