Merge pull request #1138 from waldyrious/patch-1
authorAlexander Gessler <alexander.gessler@gmx.net>
Sat, 14 Jan 2017 20:05:26 +0000 (21:05 +0100)
committerGitHub <noreply@github.com>
Sat, 14 Jan 2017 20:05:26 +0000 (21:05 +0100)
use SVG in Travis badge


Trivial merge