]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #13385 from omoerbeek/assorted-delint20231017
authorOtto Moerbeek <otto.moerbeek@open-xchange.com>
Tue, 31 Oct 2023 15:19:10 +0000 (16:19 +0100)
committerGitHub <noreply@github.com>
Tue, 31 Oct 2023 15:19:10 +0000 (16:19 +0100)
Assorted delinting, mark do while loops as ok

1  2 
pdns/recursordist/pdns_recursor.cc
pdns/recursordist/rec-main.cc

Simple merge
Simple merge