tree 09aa2412020be3cfee65e4efde94c1daf82add13
parent 93d77c92c4bfb98a5824b818cc3619575961b3d2
author margaretha <margaretha@ids-mannheim.de> 1616686976 +0100
committer margaretha <margaretha@ids-mannheim.de> 1618478557 +0200

Updated Koral version for InfoController.

Change-Id: I2f395450e27b8573057a38bd13d73124feca71be