From 82480135a6f8a23a4ad7cd11e10647bed25cf43c Mon Sep 17 00:00:00 2001
From: mehrdadn <mehrdadn@users.noreply.github.com>
Date: Thu, 28 Jul 2016 11:42:39 -0700
Subject: [PATCH] numbuf (#316)

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

diff --git a/thirdparty/numbuf b/thirdparty/numbuf
index de8bbaca6..a81dc0c54 160000
--- a/thirdparty/numbuf
+++ b/thirdparty/numbuf
@@ -1 +1 @@
-Subproject commit de8bbaca61def7d5fe6a06c1a66c858f7bbaf13c
+Subproject commit a81dc0c54197116dd236f4476ed13bdc6ee5e55b