tianon
diff --git a/‎devel/Dockerfile‎
Lines changed: 3 additions & 3 deletions b/‎devel/Dockerfile‎
Lines changed: 3 additions & 3 deletions
diff --git a/‎versions.json‎
Lines changed: 3 additions & 3 deletions b/‎versions.json‎
Lines changed: 3 additions & 3 deletions
@@ -145,9 +145,9 @@
       "version": "3.20"
     },
     "commit": {
-      "description": "third set of documentation updates: readline and history",
-      "version": "5edfaa45e791bbb2bf6c9342e13e5e364ff87bad"
+      "description": "next set of documentation fixes: update formatting, make filename formatting consistent, typeset the name readline consistently",
+      "version": "261c6e8cc6c59b63be3a1597aadec72e9cf5ae72"
     },
-    "version": "20241012"
+    "version": "20241018"
   }
 }
Original file line number	Diff line number	Diff line change
`@@ -145,9 +145,9 @@`
`145`	`145`	`"version": "3.20"`
`146`	`146`	`},`
`147`	`147`	`"commit": {`
`148`		`- "description": "third set of documentation updates: readline and history",`
`149`		`- "version": "5edfaa45e791bbb2bf6c9342e13e5e364ff87bad"`
	`148`	`+ "description": "next set of documentation fixes: update formatting, make filename formatting consistent, typeset the name readline consistently",`
	`149`	`+ "version": "261c6e8cc6c59b63be3a1597aadec72e9cf5ae72"`
`150`	`150`	`},`
`151`		`- "version": "20241012"`
	`151`	`+ "version": "20241018"`
`152`	`152`	`}`
`153`	`153`	`}`