Thank you for taking the time to open a pull request.
I am not going to merge it — this is a mostly mechanical change, it’s easier to just do it myself than to review somebody else’s work. There is lots of stuff piling up in this repository and frankly I feel burnt out by it. I still make new releases for small changes on top of the latest release, but master is not in a state where it’s ready to release soon anyway.
Thank you for taking the time to open a pull request.
I am not going to merge it — this is a mostly mechanical change, it’s easier to just do it myself than to review somebody else’s work. There is lots of stuff piling up in this repository and frankly I feel burnt out by it. I still make new releases for small changes on top of the latest release, but master is not in a state where it’s ready to release soon anyway.