diff --git a/EspruinoTools b/EspruinoTools index 69cf25c0..a857e74a 160000 --- a/EspruinoTools +++ b/EspruinoTools @@ -1 +1 @@ -Subproject commit 69cf25c0e41814ae3db68c780357f3ec565676dd +Subproject commit a857e74abd2c0824436e6becf0fd5e10ad3733df