diff --git a/EspruinoTools b/EspruinoTools index f58798fa..ecb16b6d 160000 --- a/EspruinoTools +++ b/EspruinoTools @@ -1 +1 @@ -Subproject commit f58798fabcd4c65e4296ab2dbd619e68e4eceb96 +Subproject commit ecb16b6d4041ea256745d1cc69db8a3b59677260