Merge pull request #6318 from 1715173329/ci
authorJo-Philipp Wich <[email protected]>
Thu, 30 Mar 2023 18:20:48 +0000 (20:20 +0200)
committerGitHub <[email protected]>
Thu, 30 Mar 2023 18:20:48 +0000 (20:20 +0200)
CI: update dependencies


Trivial merge