[stable13] Principals can be principal/user/<name> or principal/<name> from lega…#13584

MorrisJobke merged 1 commit into

stable13nextcloud/server:stable13from

backport/13573/stable13nextcloud/server:backport/13573/stable13Copy head branch name to clipboard