Diff rust-1.71.1-r100 with a rust-1.72.0-r1

Thank you!