diff repoint-lock.json @ 2003:9c3d2d950976

Win32 fix
author Chris Cannam
date Wed, 12 Sep 2018 18:49:53 +0100
parents 64dbd75b9296
children bf2c24eb6d19
line wrap: on
line diff
--- a/repoint-lock.json	Wed Sep 12 16:07:06 2018 +0100
+++ b/repoint-lock.json	Wed Sep 12 18:49:53 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "b7cb203ee344"
+      "pin": "c1b2eab6ac51"
     },
     "svgui": {
       "pin": "8068a0bee550"