tree 0a2baf66ff3669bdf9a8d3811ebaf739ec6b0545
parent b829131f434131468c4664590dcf4ecc28379425
author hebasta <stallkamp@ids-mannheim.de> 1557914776 +0200
committer hebasta <stallkamp@ids-mannheim.de> 1561556814 +0200

Test existence of #hint and #vc-choose

Change-Id: I14ab1ba3d3e33d5dfa7f83d77f073734cee5cd92