From 5e3c21922b1ac6806a1d2ebdd76615563f00b24f Mon Sep 17 00:00:00 2001
From: Vladyslav Usenko <vlad.usenko@tum.de>
Date: Fri, 9 Aug 2019 13:52:35 +0200
Subject: [PATCH] updated headers

---
 thirdparty/basalt-headers | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/thirdparty/basalt-headers b/thirdparty/basalt-headers
index 2ae558c..df6b2ca 160000
--- a/thirdparty/basalt-headers
+++ b/thirdparty/basalt-headers
@@ -1 +1 @@
-Subproject commit 2ae558ce2b494d21908391b89cf13df93d0dcfa9
+Subproject commit df6b2ca48658a3261370cbf9799ed69f7692525a