From 7f705b252555e117e3409fd4e00848aba42be155 Mon Sep 17 00:00:00 2001
From: Nikolaus Demmel <nikolaus@nikolaus-demmel.de>
Date: Wed, 24 Apr 2019 13:16:50 +0200
Subject: [PATCH] Update basalt-headers submodule.

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

diff --git a/thirdparty/basalt-headers b/thirdparty/basalt-headers
index 4a77135..5f9fc49 160000
--- a/thirdparty/basalt-headers
+++ b/thirdparty/basalt-headers
@@ -1 +1 @@
-Subproject commit 4a771353447a0dd4e47a0041ada6385363a34f3b
+Subproject commit 5f9fc492564cb81f51f0b71508c037db712ee5d1