diff --git a/third_party/tock b/third_party/tock index 7e47e6f1a9b279b6458edeb0fa24af381f5a1572..3139864d391ab654bfb9c27ca8dcd3e4e9a2d58e 160000 --- a/third_party/tock +++ b/third_party/tock @@ -1 +1 @@ -Subproject commit 7e47e6f1a9b279b6458edeb0fa24af381f5a1572 +Subproject commit 3139864d391ab654bfb9c27ca8dcd3e4e9a2d58e