From 65808d6f0f6e762c6c7350289d92005f567c6601 Mon Sep 17 00:00:00 2001
From: Vladyslav Usenko <vlad.usenko@tum.de>
Date: Tue, 27 Aug 2019 11:35:24 +0200
Subject: [PATCH] update headers

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

diff --git a/thirdparty/basalt-headers b/thirdparty/basalt-headers
index 5ff8c21..c339ea7 160000
--- a/thirdparty/basalt-headers
+++ b/thirdparty/basalt-headers
@@ -1 +1 @@
-Subproject commit 5ff8c21a7867fc9210d08656f9d7fec6da99baeb
+Subproject commit c339ea747a29881271cfcbc559937b81dcf76324