tree 3675a68f8d6c9d921509096054685d8e72adb9a7
parent 4fa2c4597aa34848594c6f76d8ab128653ff38e3
author Stephan Wahlbrink <sw@wahlbrink.eu> 1613045833 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1613045952 +0100

Update for StatET 4.2.3 release

Signed-off-by: Stephan Wahlbrink <sw@wahlbrink.eu>