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