Closed mtygesen closed 2 months ago
Fixes following bug for the main branch: https://bugs.launchpad.net/tapaal/+bug/2076603
Fixes following bug for the main branch: https://bugs.launchpad.net/tapaal/+bug/2076603