diff --git a/external/tools b/external/tools index 6070b82..1d54f45 160000 --- a/external/tools +++ b/external/tools @@ -1 +1 @@ -Subproject commit 6070b82a3f5c2e058a7691e935abc46f138d2c4d +Subproject commit 1d54f45df70be2cb3ae9eac7c5a61973d4572a4c