diff --git a/thirdparty/numbuf b/thirdparty/numbuf
index 6c5a58b56..9f71ee375 160000
--- a/thirdparty/numbuf
+++ b/thirdparty/numbuf
@@ -1 +1 @@
-Subproject commit 6c5a58b560a72c5a2dfdd92901b825c219a9052d
+Subproject commit 9f71ee37557a740beb5547cf51b5aad9a7c92fe3