Closed colinb2r closed 3 years ago
Oops: I assumed that you hadn't responded to my September 27 (not October) PR because it failed some checks, but on looking at all the PR (out of curiousity) I just found you had responded on about Ocober 19:
"Yikes, I hadn't realized you had made this PR! My apologies for the long delay. Merged as 39fdd0a, thank you!"
So I'll now (try to) close this. Sorry for the noise!
My first try at a pull request in October 2021 failed: let's hope this one works.