From 15ba4f50a4cc3ac4eb43b171dfaa5b88999655bd Mon Sep 17 00:00:00 2001
From: Pieter-Jan Briers <pieterjan.briers+git@gmail.com>
Date: Thu, 14 May 2020 00:40:10 +0200
Subject: [PATCH] Update submodule

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

diff --git a/RobustToolbox b/RobustToolbox
index b7f3627ef1..a72dd8c85b 160000
--- a/RobustToolbox
+++ b/RobustToolbox
@@ -1 +1 @@
-Subproject commit b7f3627ef179c272152b89189002f1b34cc46355
+Subproject commit a72dd8c85bc1903ef98e709fc1a735bd5e667bdc