From 6df347acf3d937cb178b1bad8daa5d2ab2092e5c Mon Sep 17 00:00:00 2001
From: Guillaume Endignoux <guillaumee@google.com>
Date: Fri, 10 Jul 2020 10:35:57 +0200
Subject: [PATCH] Update libtock-rs to the current master.

---
 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 ab2c945..828c19d 160000
--- a/third_party/libtock-rs
+++ b/third_party/libtock-rs
@@ -1 +1 @@
-Subproject commit ab2c945184b98ecae3e70ac678e9f5231deef73b
+Subproject commit 828c19de9292ddbca0e2da6a161c0c38124c5053