Comments

Dave Reid created an issue. See original summary.

poker10’s picture

poker10 commented
Status: Active » Fixed

Stable release was created on 29 June 2020 .

Status: Fixed » Closed (fixed)

Automatically closed - issue fixed for 2 weeks with no activity.