tree 39eead6dc42a325a926e1c98bbd9f0817f3e04fe
parent e0486170adb60e3f550a847a703269495737e852
author Akron <nils@diewald-online.de> 1544713818 +0100
committer Akron <nils@diewald-online.de> 1544713818 +0100

Update Koral to fix VC queries

Change-Id: Icdc0800bddda3355c942d61f526d5317db600954