Closed tomstuart closed 1 year ago
Thanks for the merge, and sorry for the force push, I won’t do that again. (Somehow your suggestion contained ≈
instead of ~~
so I force pushed to fix that, but in hindsight I could’ve fixed in another commit instead.)
No worries, was no problem in this case. (And sorry about the ≈!)
Fix #1656.