Release 3.9.3 (May 2023)

skrieter released this 05 May 17:04

· 154 commits to master since this release

423fa0a

Hotfix containing mostly bugfixes over v3.9.2
Fixes more incompatibilities with latest Eclipse versions (#1431,#1430,#1429,#1382)

Assets 10