(moved to users.rust-lang...)

…so… Discourse has no delete buttons…

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.