Closed gbaraldi closed 11 months ago
I'd still like to see the corresponding PR in Yggdrasil, I don't like merging PRs here if we don't have the companion too
BTW, I think we should first get #318 merged. @staticfloat any reason why that hasn't been done yet?
Nope, just crazy busy. Sorry.
Do I need to rebuild then?
If you were after https://github.com/JuliaPackaging/Yggdrasil/pull/7136 on Yggdrasil, you should be good.
Is this mergeable?