Merge pull request #5241 from nextcloud/bugfix/edit-locally-ci-errors
authorallexzander <allexzander@users.noreply.github.com>
Tue, 6 Dec 2022 15:13:32 +0000 (16:13 +0100)
committerGitHub <noreply@github.com>
Tue, 6 Dec 2022 15:13:32 +0000 (16:13 +0100)
Fix CI errors for Edit Locally.


Trivial merge