]> git.gsnw.org Git - fping.git/commitdiff
merge develop
authorDavid Schweikert <david@schweikert.ch>
Sun, 23 Apr 2017 15:42:53 +0000 (17:42 +0200)
committerDavid Schweikert <david@schweikert.ch>
Sun, 23 Apr 2017 15:42:53 +0000 (17:42 +0200)

Trivial merge