Closed SijmenHuizenga closed 9 months ago
This release fixes bug #583, which was reported in #582 and #579 and #598.
coverage: 99.726%. remained the same when pulling 4f564f037da931f250b87f9e102cd571db92f68d on release-1.2.1 into 1b34599e9812b3aa55a2f5010e086e56cd62ad0a on master.
This release fixes bug #583, which was reported in #582 and #579 and #598.