Auto merge of #30111 - GuillaumeGomez:patch-3, r=Manishearth
Auto merge of #30111 - GuillaumeGomez:patch-3, r=Manishearth

r? @Manishearth

cc @huonw

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