changeset 2355:119a3a48dd46

Attempted build fix for old Ubuntu deb build
author Chris Cannam
date Thu, 10 Oct 2019 09:12:34 +0100 (2019-10-10)
parents ec88bcdc5a5b
children bd6dc9570ac8
files repoint-lock.json
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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"