# HG changeset patch
# User Chris Cannam <cannam@all-day-breakfast.com>
# Date 1530020303 -3600
# Node ID 6955148c6be90d74ad95b55ad46b52a46ab76634
# Parent  11342618ccbee6fa7a938cb54cecaf197b2350cb
Property box pushbutton fix for Mac

diff -r 11342618ccbe -r 6955148c6be9 repoint-lock.json
--- a/repoint-lock.json	Tue Jun 26 13:29:40 2018 +0100
+++ b/repoint-lock.json	Tue Jun 26 14:38:23 2018 +0100
@@ -7,7 +7,7 @@
       "pin": "71202259002d"
     },
     "svgui": {
-      "pin": "5af5c611f4cb"
+      "pin": "13e17e61f898"
     },
     "svapp": {
       "pin": "d4c16eed673d"