From 24fb70a3b195be4639b3282958a8e4c573f3bdfa Mon Sep 17 00:00:00 2001
From: Stephan Schulz <stephan.schulz-x2q@ruhr-uni-bochum.de>
Date: Mon, 9 Aug 2021 14:52:44 +0200
Subject: [PATCH] update to 0.9.2

---
 external/all | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/all b/external/all
index 8b4d9f4..1fa8e28 160000
--- a/external/all
+++ b/external/all
@@ -1 +1 @@
-Subproject commit 8b4d9f435da68a5c64d5b9d554135f9d8cc14d12
+Subproject commit 1fa8e289973f67e29a2a937e65ac384e498ebf06
-- 
GitLab