diff repoint-lock.json @ 2299:bb0f5a8f93fe by-id

Add forgotten subrepo update
author Chris Cannam
date Mon, 24 Jun 2019 16:58:10 +0100
parents f78177863e26
children eb7f4579e5cc
line wrap: on
line diff
--- a/repoint-lock.json	Fri Jun 21 14:36:03 2019 +0100
+++ b/repoint-lock.json	Mon Jun 24 16:58:10 2019 +0100
@@ -4,13 +4,13 @@
       "pin": "62987b6d6a3b"
     },
     "svcore": {
-      "pin": "87b4c596c0ef"
+      "pin": "c3b5564cfb78"
     },
     "svgui": {
       "pin": "de41a11cabc2"
     },
     "svapp": {
-      "pin": "a82b9d410393"
+      "pin": "c7406ebcd51c"
     },
     "checker": {
       "pin": "c8c17e51aab0"