Comment Comment by staplung As to (1), all the bugs Yuri filed seem to be fixed, save https://github.com/JuliaLang/julia/issues/39385, for which there is a largish PR that's still wending it's way to being merged.All the bugs he listed as "filed by others" also seem to have been fixed, again save for one: https://github.com/JuliaLang/julia/issues/36069.I'm not sure I understand what you're getting at with (2). parent staplung 19 days ago
All the bugs he listed as "filed by others" also seem to have been fixed, again save for one: https://github.com/JuliaLang/julia/issues/36069.
I'm not sure I understand what you're getting at with (2).