From 0a38339b8e5167b48b79e6eed457fdadc5efa986 Mon Sep 17 00:00:00 2001
From: Guillaume Endignoux <guillaumee@google.com>
Date: Fri, 24 Apr 2020 11:20:12 +0200
Subject: [PATCH] Upgrade to Tock-1.5-rc2

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

diff --git a/third_party/tock b/third_party/tock
index ba44dd6..f1f9d71 160000
--- a/third_party/tock
+++ b/third_party/tock
@@ -1 +1 @@
-Subproject commit ba44dd690f2db52ab9c928975f85c34c1c6f5bea
+Subproject commit f1f9d717a4d9b5ae934a3b50ce6a18e6dff3e7c7
-- 
GitLab