Closed colinb2r closed 2 years ago
I've made the changes I indicated in my 2021-09-26-Sunday email.
Yikes, I hadn't realized you had made this PR! My apologies for the long delay. Merged as 39fdd0a99ed58f4158e639a0cf539fb9c7da3dc6, thank you!
I've made the changes I indicated in my 2021-09-26-Sunday email.