diff --git a/external/libds b/external/libds
index 5247394..0271248 160000
--- a/external/libds
+++ b/external/libds
@@ -1 +1 @@
-Subproject commit 5247394d35204970910d5f68fd76c97a161e77a0
+Subproject commit 02712484729265fa6b5dbe3b40c873ccff1e2bbf