]> git.gsnw.org Git - fping.git/commitdiff
Merge branch 'develop' into coverity_scan
authorDavid Schweikert <david@schweikert.ch>
Thu, 9 Feb 2017 10:30:30 +0000 (11:30 +0100)
committerDavid Schweikert <david@schweikert.ch>
Thu, 9 Feb 2017 10:30:30 +0000 (11:30 +0100)

Trivial merge