From 7342d0617f82bc9efd75c5001ad2bd7a80d2b64e Mon Sep 17 00:00:00 2001
From: Alexander Fink <alexander.fink@cispa.saarland>
Date: Thu, 12 Sep 2019 13:13:18 +0200
Subject: [PATCH] Update dexterous

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

diff --git a/dexterous b/dexterous
index 1a73e45..6c87fb9 160000
--- a/dexterous
+++ b/dexterous
@@ -1 +1 @@
-Subproject commit 1a73e45bf0f6c933dc4ebd003b55c7f8d6baa724
+Subproject commit 6c87fb9045873cd3c5f7b53e998f7fdfb551f89a