]> git.gsnw.org Git - fping.git/commitdiff
Merge branch 'master' into develop
authorDavid Schweikert <david@schweikert.ch>
Mon, 9 Jan 2017 09:43:43 +0000 (10:43 +0100)
committerDavid Schweikert <david@schweikert.ch>
Mon, 9 Jan 2017 09:43:43 +0000 (10:43 +0100)

Trivial merge