diff --git a/EspruinoTools b/EspruinoTools index f0e4e102..af1ffa35 160000 --- a/EspruinoTools +++ b/EspruinoTools @@ -1 +1 @@ -Subproject commit f0e4e1027f2fb42b79a27f33369ea786ac6c221d +Subproject commit af1ffa356b732754d525f6d1271b5c938c012d55