Closed DilumAluthge closed 1 year ago
bors try
Build succeeded:
Thanks @DilumAluthge !
Bump @KristofferC
Bump @KristofferC
bors merge
@KristofferC If you have a chance, it would be great if you could do one final review (even if it's post-merge), and I can make the requested changes in a follow-up PR.
I'm just merging this now so we can get some kind of fix deployed, because there are PRs stalled out on General.
Build succeeded:
Fixes https://github.com/JuliaRegistries/RegistryTools.jl/issues/81 Fixes #494