changeset 535:87d0cd033da7

Merge
author Chris Cannam
date Fri, 18 May 2018 14:15:25 +0100
parents a3717147cc2a (current diff) ceb81558be78 (diff)
children 1058d9b37a97
files
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Fri May 18 14:15:07 2018 +0100
+++ b/repoint-lock.json	Fri May 18 14:15:25 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "328cb056da44"
     },
     "svcore": {
-      "pin": "f68911282993"
+      "pin": "7d9b537b6a1e"
     },
     "svgui": {
       "pin": "51e6125627fa"