Re: rust-team branch merged

[Andreas Enge]

PS: Congratulations for getting the first team branch through!
    And thanks for waiting until the core-updates merge :-)