[escet-dev] Eclipse ESCET v4.0 released

[Dennis Hendriks <dh_tue@xxxxxxxxxxx>]

Hi all,

I just released v4.0:

- https://eclipse.dev/escet/
- https://eclipse.dev/escet/download.html
- https://eclipse.dev/escet/release-notes.html

And here are the permalinks:

- https://eclipse.dev/escet/v4.0
- https://eclipse.dev/escet/v4.0/download.html
- https://eclipse.dev/escet/v4.0/release-notes.html

Note that mirrors may still need to sync, so downloads may be a bit slower until then.

Regards,
Dennis