Update docs/amaranth/versions.json

github-merge-queue[bot] · github-merge-queue[bot] · commit b1eda4f7d887 · 2025-12-20T17:39:48.000Z
diff --git a/docs/amaranth/versions.json b/docs/amaranth/versions.json
@@ -1,6 +1,6 @@
 [
   {
-    "name": "0.6.0.dev111",
+    "name": "0.6.0.dev113",
     "root_url": "/docs/amaranth/latest/"
   },
   {

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "name": "0.6.0.dev111",`
	`3`	`+ "name": "0.6.0.dev113",`
`4`	`4`	`"root_url": "/docs/amaranth/latest/"`
`5`	`5`	`},`
`6`	`6`	`{`