tree 7c9bdef92e05964d41143c97a46b72d875d7e230
parent 824f20427839bc6557020a3be3d6490c3e5ff238
author margaretha <margaretha@ids-mannheim.de> 1695027493 +0200
committer margaretha <margaretha@ids-mannheim.de> 1695107812 +0200

Bumped Koral version to 0.41

Change-Id: I5e916d213152fe8c43586127bcde74480a124260