Merge pull request #5674 from wvdakker/master
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 25 Feb 2018 08:18:27 +0000 (10:18 +0200)
committerGitHub <noreply@github.com>
Sun, 25 Feb 2018 08:18:27 +0000 (10:18 +0200)
Shorewall: Bump to version 5.1.12.2


Trivial merge