From bb3f43e198ffdb08b988c3eda14dc6753cb15976 Mon Sep 17 00:00:00 2001
From: Lars Tveito <larstvei@ifi.uio.no>
Date: Wed, 20 Nov 2019 13:56:13 +0100
Subject: [PATCH] Update Rethink repo

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

diff --git a/Rethink b/Rethink
index 09b6280..36514b8 160000
--- a/Rethink
+++ b/Rethink
@@ -1 +1 @@
-Subproject commit 09b6280e9321b0fb87c25e1c48fd5607bb1e73c4
+Subproject commit 36514b877cd67850101485bae90c49990049c132