Merge pull request #12655 from wvdakker/master
authorRosen Penev <rosenp@gmail.com>
Tue, 30 Jun 2020 21:33:22 +0000 (14:33 -0700)
committerGitHub <noreply@github.com>
Tue, 30 Jun 2020 21:33:22 +0000 (14:33 -0700)
Shorewall: Bump to 5.2.5.2


Trivial merge