Since I was busy rebasing team branches on master anyway, I have also done this one now.
Andreas
- bug#73947: Request for merging "rust-team" branc... Efraim Flashner
- bug#73947: Rebased Andreas Enge
- bug#73947: Acknowledgement (Request for merging "... Efraim Flashner
