Merge pull request #9862 from dibdot/travelmate
authorDirk Brenken <redacted>
Thu, 29 Aug 2019 18:02:38 +0000 (20:02 +0200)
committerGitHub <redacted>
Thu, 29 Aug 2019 18:02:38 +0000 (20:02 +0200)
travelmate: update 1.4.12


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