Closed comps closed 3 months ago
Because it would be more involved change (it would need some shuffling of code around, as you cannot pre-create URLs and other strings before a with
context manager entry).
The current commit is frankly a left-over from me wanting to upgrade to a newer python version. ... If this PR is merged, I'll add a github issue about changing the ports.
@comps Okay, no problem with that. Please resolve conflicts and I will merge it
Rebased to main, resolved the waiver conflict.
(And a few related changes.)