From fe918a9f8bb1d2593b41333adab677016df99f6a Mon Sep 17 00:00:00 2001
From: mehrdadn <mehrdadn@users.noreply.github.com>
Date: Thu, 23 Jun 2016 02:33:04 +0300
Subject: [PATCH] Update numbuf to master (#147)

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

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