Merge pull request #5595 from wvdakker/master
authorHannu Nyman <redacted>
Sun, 11 Feb 2018 17:28:31 +0000 (19:28 +0200)
committerGitHub <redacted>
Sun, 11 Feb 2018 17:28:31 +0000 (19:28 +0200)
Shorewall: Bump to version 5.1.12.1


Trivial merge
git clone https://git.99rst.org/PROJECT