← Back to context

Comment by staplung

8 hours ago

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).

1 comment

staplung

Reply