Diff rust-1.71.1 with a rust-1.71.1-r100

Thank you!