]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #42115 from nextcloud/chore/deps/update-openapi-extractor
authorJoas Schilling <213943+nickvergessen@users.noreply.github.com>
Fri, 8 Dec 2023 11:36:46 +0000 (12:36 +0100)
committerGitHub <noreply@github.com>
Fri, 8 Dec 2023 11:36:46 +0000 (12:36 +0100)
chore(deps): Update openapi-extractor


Trivial merge