]> git.german-service-network.de Git - fping.git/commitdiff
Merge pull request #197 from gsnw/develop
authorDavid Schweikert <[email protected]>
Sat, 17 Oct 2020 06:27:44 +0000 (08:27 +0200)
committerGitHub <[email protected]>
Sat, 17 Oct 2020 06:27:44 +0000 (08:27 +0200)
Update Azure Pipline based on travis-ci tuning


Trivial merge