Merge pull request #807 from micmac1/ci-up
authormicmac1 <sebastian_ml@gmx.net>
Wed, 29 Mar 2023 18:18:27 +0000 (20:18 +0200)
committerGitHub <noreply@github.com>
Wed, 29 Mar 2023 18:18:27 +0000 (20:18 +0200)
CI: sync up with changes in packages repo


Trivial merge