Thread:CaptainRustbolt21/@comment-31727837-20171008134857/@comment-27101994-20171029011918

//Talk about a forgotten thread (even I forgot to post here for a while). Then again, a necrobump? Not really necessary anymore though.