Thread:CaptainRustbolt21/@comment-28716546-20180102225719/@comment-27480112-20180103230949

Not everything's to be taken seriously. This is why some of us can't understand sarcasm, jokes and all that.