]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12836 from omoerbeek/rec-main-delint-followup
authorOtto Moerbeek <otto.moerbeek@open-xchange.com>
Tue, 30 May 2023 13:03:06 +0000 (15:03 +0200)
committerGitHub <noreply@github.com>
Tue, 30 May 2023 13:03:06 +0000 (15:03 +0200)
rec: Full delint rec-main.cc


Trivial merge