diff --git a/external/libds b/external/libds
index 4003fa1..5247394 160000
--- a/external/libds
+++ b/external/libds
@@ -1 +1 @@
-Subproject commit 4003fa1b78360a517ef72f4a44c871981efe2692
+Subproject commit 5247394d35204970910d5f68fd76c97a161e77a0