Closed dgelessus closed 1 year ago
Code cleanups in the Python glue that I didn't want to squeeze into other PRs. None of this should make any functional difference. See commit messages for details.
Code cleanups in the Python glue that I didn't want to squeeze into other PRs. None of this should make any functional difference. See commit messages for details.