From ac8236e1357f348f8d869baa1aaa18f522739e1a Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Tue, 13 Oct 2020 02:07:49 +0200
Subject: [PATCH] arduino update

---
 arduino | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino b/arduino
index 8f7bb757..5f32dbb5 160000
--- a/arduino
+++ b/arduino
@@ -1 +1 @@
-Subproject commit 8f7bb757a4a433cac45192486fb2e3e6f077e765
+Subproject commit 5f32dbb5953d0ff5e944ddcf37d0e8d4ffcaf867