diff --git a/third_party/tools b/third_party/tools index 19c0cfd..d844485 160000 --- a/third_party/tools +++ b/third_party/tools @@ -1 +1 @@ -Subproject commit 19c0cfda9368e64f05fba8d6d5aa25945210f780 +Subproject commit d844485ae8d3d6c700317984aeabebd208686a56 diff --git a/third_party/wjtx b/third_party/wjtx index 9dea173..076915f 160000 --- a/third_party/wjtx +++ b/third_party/wjtx @@ -1 +1 @@ -Subproject commit 9dea173afcad3ac79ca5651177be1c380101861b +Subproject commit 076915fc0a82aea9e67622ab5b36fde4d2c33fe0