issues
search
des105f16
/
Editor
0
stars
0
forks
source link
Authority stack
#2
Closed
deaddog
closed
8 years ago
deaddog
commented
8 years ago
In
LabelInferer
:
[x] Add authority label variable.
[x] Push new label on acts for with acts for principal as owner
[x] Pop as well
In
LabelInferer: