tree 834bfd37b4a21bd4f3b1ba8ce7eadc8251129e16
parent c57625b456eaf78382521adfd132b8585c75d1a0
author Akron <nils@diewald-online.de> 1596102688 +0200
committer Peter Harders <harders@ids-mannheim.de> 1596219471 +0200

Simplify inside_tokens_tag handling

Change-Id: Ib198c0da507587a8e3caf4f2035b5e0ab8d19ea4