# HG changeset patch
# User Chris Cannam
# Date 1570695154 -3600
# Node ID 119a3a48dd4610ca4aba90595ea7149501ae649c
# Parent  ec88bcdc5a5bc5b720ed75903b1356a28f9a42cf
Attempted build fix for old Ubuntu deb build

diff -r ec88bcdc5a5b -r 119a3a48dd46 repoint-lock.json
--- 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"