Merge pull request #10271 from dibdot/travelmate
authorDirk Brenken <redacted>
Fri, 18 Oct 2019 17:01:48 +0000 (19:01 +0200)
committerGitHub <redacted>
Fri, 18 Oct 2019 17:01:48 +0000 (19:01 +0200)
commitdf5c52bcfed2e2a4ed0849f6ba0c30361598367a
tree317e461a4d3463f97ade13dcf2c1060145dc32ec
parent0412c20f1b2d2e1f8b8c7e101aae6f66be50690a
parentab51b1ba34c1b82a10c8b392978746dd5e1e03ef
Merge pull request #10271 from dibdot/travelmate

travelmate: update 1.5.0
git clone https://git.99rst.org/PROJECT