tianon
diff --git a/‎devel/Dockerfile‎
Lines changed: 2 additions & 2 deletions b/‎devel/Dockerfile‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎versions.json‎
Lines changed: 2 additions & 2 deletions b/‎versions.json‎
Lines changed: 2 additions & 2 deletions
@@ -88,8 +88,8 @@
   },
   "devel": {
     "commit": {
-      "version": "94f428da790ece6a4039824e58eef9f5cad5171f"
+      "version": "37f5a0380524f487f7dbf6737ee30e8510967af6"
     },
-    "version": "20201030"
+    "version": "20201103"
   }
 }
Original file line number	Diff line number	Diff line change
`@@ -88,8 +88,8 @@`
`88`	`88`	`},`
`89`	`89`	`"devel": {`
`90`	`90`	`"commit": {`
`91`		`- "version": "94f428da790ece6a4039824e58eef9f5cad5171f"`
	`91`	`+ "version": "37f5a0380524f487f7dbf6737ee30e8510967af6"`
`92`	`92`	`},`
`93`		`- "version": "20201030"`
	`93`	`+ "version": "20201103"`
`94`	`94`	`}`
`95`	`95`	`}`