Skip to content
New PATCH release 03.00.01

Changes since 03.00.00:

- exception handling: do not delay Void writes (cf. #9989, includes
  specification change!)
- fix xml generator spamming debug messages
- fix test failing if previous run aborted at wrong point