tree 26c45f1317db8e8377206b5851136b0d78665f5f
parent 8c264982e5c0cc4c2e0c3668f6479e00f120536b
parent 359c7e18a246fc73a3fd6618ef99136e3e6fe616
author Akron <diewald@ids-mannheim.de> 1513785307 +0100
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1513785307 +0100

Merge "Fix deep-recursion problem with whitespace trimming in menu prefixes"