diff repoint-lock.json @ 2453:38f259c3be10

Subrepo update
author Chris Cannam
date Wed, 15 Jan 2020 14:02:25 +0000
parents c8fe74afb77d
children a94b289f0b93
line wrap: on
line diff
--- a/repoint-lock.json	Wed Jan 15 11:03:43 2020 +0000
+++ b/repoint-lock.json	Wed Jan 15 14:02:25 2020 +0000
@@ -7,10 +7,10 @@
       "pin": "23d5cb3f9f38"
     },
     "svgui": {
-      "pin": "b33b0b06133e"
+      "pin": "5f6fdd525158"
     },
     "svapp": {
-      "pin": "8cf265f9b1b3"
+      "pin": "16932dfaf64e"
     },
     "checker": {
       "pin": "ef64b3f171d9"