diff --git a/EspruinoTools b/EspruinoTools index 05918f80..f58798fa 160000 --- a/EspruinoTools +++ b/EspruinoTools @@ -1 +1 @@ -Subproject commit 05918f800e5a643e1e57b4db95b675b98ef33a53 +Subproject commit f58798fabcd4c65e4296ab2dbd619e68e4eceb96