I’m not at my computer right now, maybe we just got a PR and it hasn’t been merged yet too. I’ll investigate. Thanks again!
-
-
Ah ha! It hasn’t been merged: https://github.com/rust-lang/rust/pull/45958 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.