tree 73a47ac8db8f4d86b851f56425f26271e8cf0180
parent 8bbbecf5bbcc9062714b62520e0dbf9ffc28e668
parent 0c93d8e61735c9e779c10dd19f75c347977ff3fb
author Helge <stallkamp@ids-mannheim.de> 1562747762 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1562747762 +0200

Merge "Test existence of #hint and #vc-choose"