# HG changeset patch
# User Chris Cannam
# Date 1542291722 0
# Node ID d2b06c352067957695d71378a1b192b71267c100
# Parent  5decad11dee9de002737505dcba81fe5b9e7c9cf
Handle integer pixel scaling as well

diff -r 5decad11dee9 -r d2b06c352067 repoint-lock.json
--- a/repoint-lock.json	Thu Nov 15 14:04:56 2018 +0000
+++ b/repoint-lock.json	Thu Nov 15 14:22:02 2018 +0000
@@ -7,7 +7,7 @@
       "pin": "07f23b90701a"
     },
     "svgui": {
-      "pin": "28075cc658c9"
+      "pin": "b0eeec95ab5b"
     },
     "svapp": {
       "pin": "29bef008588e"