Closed treuherz closed 3 months ago
I've tried to put together the smallest possible change that I think should solve #2540, but I'm not sure where or if to add a good test.
Fixes #2540
TIL GitHub doesn't handle force-pushes to PRs the way I expected. Hope this isn't a problem, will use follow-up commits next time 😬
I've tried to put together the smallest possible change that I think should solve #2540, but I'm not sure where or if to add a good test.
Fixes #2540