Closed
Milestone Nov 4, 2019–Jan 10, 2020

v1.3.0

Bugfixes, minor improvements and non breaking new features.