Auto merge of #30964 - GuillaumeGomez:patch-5, r=Manishearth
Auto merge of #30964 - GuillaumeGomez:patch-5, r=Manishearth

r? @Manishearth

graydon/rust,GBGamer/rust,graydon/rust,aidancully/rust,graydon/rust,GBGamer/rust,aidancully/rust,GBGamer/rust,GBGamer/rust,GBGamer/rust,GBGamer/rust,graydon/rust,aidancully/rust,GBGamer/rust,aidancully/rust,graydon/rust,GBGamer/rust,aidancully/rust,aidancully/rust,graydon/rust