Stream created by nikomatsakis.
:wave:
nikomatsakis renamed stream rust-survey-2020 to rust-survey-2019.