Merge pull request #8031 from dibdot/travelmate
authorDirk Brenken <redacted>
Thu, 24 Jan 2019 15:24:46 +0000 (16:24 +0100)
committerGitHub <redacted>
Thu, 24 Jan 2019 15:24:46 +0000 (16:24 +0100)
commitfd7cad216fe7707c66184ad4fdcde93e4bf8fb67
tree3e51548b400e4bfac5e68d631a7a4e0b1f8063bc
parent4aa7adf04181802319c28a4d5026a62f27eecc5c
parent2e93d26f51a2c1a4b185193866ed3004b2b50d22
Merge pull request #8031 from dibdot/travelmate

travelmate: bugfix 1.3.4
git clone https://git.99rst.org/PROJECT