Merge pull request #13563 from dibdot/trm-2.0.2
authorDirk Brenken <redacted>
Sat, 3 Oct 2020 14:34:10 +0000 (16:34 +0200)
committerGitHub <redacted>
Sat, 3 Oct 2020 14:34:10 +0000 (16:34 +0200)
travelmate: update 2.0.2


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