From c3695099fc0216e15bfb8f25286d10f557b83422 Mon Sep 17 00:00:00 2001
From: mehrdadn <mehrdadn@users.noreply.github.com>
Date: Wed, 27 Jul 2016 23:21:33 -0700
Subject: [PATCH] numbuf update (#313)

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

diff --git a/thirdparty/numbuf b/thirdparty/numbuf
index 212536f87..de8bbaca6 160000
--- a/thirdparty/numbuf
+++ b/thirdparty/numbuf
@@ -1 +1 @@
-Subproject commit 212536f87ccfdb474a5f32dc54fb563fd6007b8d
+Subproject commit de8bbaca61def7d5fe6a06c1a66c858f7bbaf13c