From 18d38e08956b79b5c85787fcf8bcb4432bff289e Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Sat, 4 Aug 2018 17:28:05 -0700
Subject: [PATCH] no message

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

diff --git a/resources b/resources
index 2c192b0..c9773af 160000
--- a/resources
+++ b/resources
@@ -1 +1 @@
-Subproject commit 2c192b0171d2b5e1e7c0e9c28bcc07c377f2e957
+Subproject commit c9773af4dcdb43cf04b232efdd561b6a36d0f96b