tree 5fd9c68c264438a27f701cdfbf8aeaa1bb92c281
parent 965280f91fdfcc3f03d79be9210560a447824620
author Marc Kupietz <kupietz@ids-mannheim.de> 1645736953 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1645867867 +0100

Bump version to 0.7.2

Change-Id: Ida5549ae1f45c4d15db7d48941635a11ac7e305d