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


Trivial merge
git clone https://git.99rst.org/PROJECT