From: Peter van Dijk Date: Fri, 21 Oct 2022 08:42:19 +0000 (+0200) Subject: Merge pull request #12101 from Habbie/el7-devtoolset-11 X-Git-Tag: dnsdist-1.8.0-rc1~267 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0b6d634f65a591b80d5e7553f297563c5d2e8d58;p=thirdparty%2Fpdns.git Merge pull request #12101 from Habbie/el7-devtoolset-11 el7 builds: bump devtoolset version --- 0b6d634f65a591b80d5e7553f297563c5d2e8d58