Closed rafaqz closed 1 month ago
@visr / @yeesian can we get a quick merge on this. I will also fix the registry now for the previous version
The registry fix is here (@visr if you can check it over that would help)
https://github.com/JuliaRegistries/General/pull/107486
Sorry I directly triggered a new release, when that is merged in a few minutes, can you update your branch on top of that?
https://github.com/JuliaRegistries/General/pull/107490
@visr / @yeesian can we get a quick merge on this. I will also fix the registry now for the previous version