From 9713332eff9919d4da45730aa65fc91e8bc79ea1 Mon Sep 17 00:00:00 2001
From: Egor Duda <egor.duda@gmail.com>
Date: Mon, 16 May 2022 18:08:11 +0300
Subject: [PATCH] third-party code is modified via patching

---
 third_party/libtock-rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/third_party/libtock-rs b/third_party/libtock-rs
index 1ece29b..15e837e 160000
--- a/third_party/libtock-rs
+++ b/third_party/libtock-rs
@@ -1 +1 @@
-Subproject commit 1ece29ba2b061e6d06c3344ba4c6cd6005c17eb3
+Subproject commit 15e837e4495df2d7a39ae6d6c057fdec515cc430