diff repoint-lock.json @ 2355:119a3a48dd46

Attempted build fix for old Ubuntu deb build
author Chris Cannam
date Thu, 10 Oct 2019 09:12:34 +0100
parents 62d6e9ad19f4
children bd6dc9570ac8
line wrap: on
line diff
--- a/repoint-lock.json	Wed Oct 09 15:29:49 2019 +0100
+++ b/repoint-lock.json	Thu Oct 10 09:12:34 2019 +0100
@@ -4,7 +4,7 @@
       "pin": "0b6802e3b755"
     },
     "svcore": {
-      "pin": "13bd41bd8a17"
+      "pin": "8c34ecba70df"
     },
     "svgui": {
       "pin": "bfd8b22fd67c"