Closing after the merge by Efraim, thanks! Andreas
- bug#82001: Request for merging "rust-team" branc... Efraim Flashner
- bug#82001: Request for merging "rust-team" ... Andreas Enge
- bug#82001: Request for merging "rust-team&qu... Andreas Enge
- bug#82001: Request for merging "rust-tea... Efraim Flashner
- bug#82001: Request for merging "rust... Efraim Flashner
- bug#82001: Request for merging "... Andreas Enge
- bug#82001: Request for merging &... Andreas Enge
- bug#82001: Request for mergi... Andreas Enge
