]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12410 from rgacogne/unbreak-ci
authorRemi Gacogne <remi.gacogne@powerdns.com>
Wed, 11 Jan 2023 10:20:36 +0000 (11:20 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Jan 2023 10:20:36 +0000 (11:20 +0100)
CI: Work-around the "503  Service Unavailable" erros on azure.archive.ubuntu.com


Trivial merge