Overview

The tickets were migrated to github on May 24th and 25th 2019 (see QEP \#141).

The issues are kept here readonly - each ticket here has a link to the new ticket on github ("Copied to github as #").