tree baaac0f8c3e294f290d4e851d03b463a75fa78f4
parent 648771377fe2d6410b981be395082bbb414b2349
author Stephan Wahlbrink <sw@wahlbrink.eu> 1613662373 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1613662723 +0100

Correct news message for StatET 4.2.0 release

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