tree 3b53d712b6dcdef60fac7bfd00865763f9d7f47b
parent be90c9455f4dd51e9907d26fa60dec5187844a5f
author Helge <stallkamp@ids-mannheim.de> 1728308843 +0200
committer Akron <nils@diewald-online.de> 1728370669 +0200

Fixes: Tour is ended early if started from /doc

Change-Id: I285aaa6874a886445ab879e6ca7b383f09f57968