Closed pdcastro closed 4 months ago
Issue #28 had already been closed as “hopefully fixed”, but it remained. This PR fixes that issue and another issue that got uncovered by the fix.
Issue #28 had already been closed as “hopefully fixed”, but it remained. This PR fixes that issue and another issue that got uncovered by the fix.