[autofix.ci] apply automated fixes

autofix-ci[bot] · web-flow · commit 7bd9762a71be · 2024-12-13T08:11:27.000Z
diff --git a/IBC.md b/IBC.md
@@ -1 +1 @@
-This file was updated and moved to [TODO: add a proper link](...)
+This file was updated and moved to [TODO: add a proper link](...)
diff --git a/SEMANTICS.md b/SEMANTICS.md
@@ -1 +1 @@
-This file was updated and moved to [TODO: add a proper link](...)
+This file was updated and moved to [TODO: add a proper link](...)

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-This file was updated and moved to [TODO: add a proper link](...)`
	`1`	`+This file was updated and moved to [TODO: add a proper link](...)`