Closed
Milestone Oct 30, 2019–Jan 10, 2020

v1.2.1

Bugfixes and minor improvements after the v1.2.0 release