commit | bf2b7787537fe73d93bf637dc50b84c26e25669a | [log] [tgz] |
---|---|---|
author | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Apr 06 15:42:27 2023 +0200 |
committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Apr 06 21:06:29 2023 +0200 |
tree | ee44a023548cbf86732fe01a025ec3ea2aaa2737 | |
parent | 50bffaeaa2e971d0204327567529436174fe1f24 [diff] |
Add news message for StatET 4.7.0 release