[stable15] Principals can be principal/user/<name> or principal/<name> from lega…#13582
Merged
MorrisJobke merged 1 commit intostable15from Jan 14, 2019
Merged
[stable15] Principals can be principal/user/<name> or principal/<name> from lega…#13582MorrisJobke merged 1 commit intostable15from
MorrisJobke merged 1 commit intostable15from
Commits
Commits on Jan 14, 2019
- authored andcommitted
