]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12562 from romeroalx/workaround-fix-grub-error
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Fri, 17 Feb 2023 14:41:06 +0000 (15:41 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Feb 2023 14:41:06 +0000 (15:41 +0100)
Workaround for grub error raised after apt-get dist-upgrade


Trivial merge