update stdarch

RalfJung · RalfJung · commit e8ddc864cb79 · 2024-09-11T08:35:32.000+02:00
diff --git a/stdarch b/stdarch
@@ -1 +1 @@
-Subproject commit d9466edb4c53cece8686ee6e17b028436ddf4151
+Subproject commit ace72223a0e321c1b0a37b5862aa756fe8ab5111

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-Subproject commit d9466edb4c53cece8686ee6e17b028436ddf4151`
	`1`	`+Subproject commit ace72223a0e321c1b0a37b5862aa756fe8ab5111`