Closed tleedjarv closed 1 year ago
The first commit fixes a clear bug. The second one is perhaps not so much a bug than inconsistency. The third commit is mostly just defensive coding in a rarely-executed code path.
The first commit fixes a clear bug. The second one is perhaps not so much a bug than inconsistency. The third commit is mostly just defensive coding in a rarely-executed code path.