From: Peter van Dijk Date: Fri, 17 Feb 2023 14:41:06 +0000 (+0100) Subject: Merge pull request #12562 from romeroalx/workaround-fix-grub-error X-Git-Tag: dnsdist-1.8.0-rc1~10 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c342d5fab551f95d94509832612563755a81ab3e;p=thirdparty%2Fpdns.git Merge pull request #12562 from romeroalx/workaround-fix-grub-error Workaround for grub error raised after apt-get dist-upgrade --- c342d5fab551f95d94509832612563755a81ab3e