diff repoint-lock.json @ 2366:bf5eadde7e7a

Merge
author Chris Cannam
date Thu, 10 Oct 2019 14:31:24 +0100
parents f195f037e440
children d24346ba5aeb
line wrap: on
line diff
--- a/repoint-lock.json	Thu Oct 10 14:31:11 2019 +0100
+++ b/repoint-lock.json	Thu Oct 10 14:31:24 2019 +0100
@@ -4,7 +4,7 @@
       "pin": "0b6802e3b755"
     },
     "svcore": {
-      "pin": "13bd41bd8a17"
+      "pin": "6eb3a76c74f7"
     },
     "svgui": {
       "pin": "bfd8b22fd67c"