Merge ref '07d246fc6dc2' from rust-lang/rust

The rustc-josh-sync Cronjob Bot · The rustc-josh-sync Cronjob Bot · commit c90285aa5218 · 2025-09-01T04:13:07.000Z
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 07d246fc6dc227903da2955b38a59e060539a485 Filtered ref: ea9222f This merge was created using https://github.com/rust-lang/josh-sync.
diff --git a/etc/thumbv7em-none-eabi-renamed.json b/etc/thumbv7em-none-eabi-renamed.json
@@ -19,5 +19,5 @@
   },
   "panic-strategy": "abort",
   "relocation-model": "static",
-  "target-pointer-width": "32"
+  "target-pointer-width": 32
 }

Original file line number	Diff line number	Diff line change
`@@ -19,5 +19,5 @@`
`19`	`19`	`},`
`20`	`20`	`"panic-strategy": "abort",`
`21`	`21`	`"relocation-model": "static",`
`22`		`- "target-pointer-width": "32"`
	`22`	`+ "target-pointer-width": 32`
`23`	`23`	`}`