Closed SamB closed 8 months ago
Sorry if this is the second time I opened a PR for this commit, but I accidentally deleted the branch and couldn't find the PR after that. (Perhaps I never actually submitted it?)
@patrickt How do we get this merged? It's just a docs change, but CI is failing and it cannot be merged now.
Thanks very much for the fix, @SamB! Sorry it took so long to get merged, but very glad to have it.
The old one stopped working :-(