Merge pull request #8016 from dibdot/travelmate
authorDirk Brenken <redacted>
Tue, 22 Jan 2019 16:12:59 +0000 (17:12 +0100)
committerGitHub <redacted>
Tue, 22 Jan 2019 16:12:59 +0000 (17:12 +0100)
travelmate: release 1.3.3


Trivial merge
git clone https://git.99rst.org/PROJECT