Thread:CaptainRustbolt21/@comment-31727837-20170629043525/@comment-24953048-20170629062105

Log out, log back in. I had the same problem, but now it's fixed.