Dear Users and Developers,

please find here our newsletter for September 2020, describing the “small” release 4.2.

Cheers,

Dirk