tree d6eb957f678443d182dc03172df2e04aac39539f
parent cdd26e623be2dd5e798e9b4b04e87ef870795920
author margaretha <margaretha@ids-mannheim.de> 1720780840 +0200
committer margaretha <margaretha@ids-mannheim.de> 1720781353 +0200

Bumped Koral version.

Change-Id: Icadee935f190796e5f6609d5bf391e9a40d021a5