From a8eb2efcd3685bacb122f568d9985150131e1ce8 Mon Sep 17 00:00:00 2001
From: Luke Sampson <me@lukesampson.com>
Date: Wed, 6 Nov 2013 14:54:05 +1000
Subject: [PATCH] gawk 3.1.7 (add missing hash)

---
 gawk.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gawk.json b/gawk.json
index bb790b9390..9b33e0616b 100644
--- a/gawk.json
+++ b/gawk.json
@@ -11,7 +11,8 @@
 	"hash": [
 		"eb15478ea76e75b666ad7fc7049de21b9f487e0e1ea0e96d40953a477e91c3dd",
 		"4e262a414f238773b311c8bb55a52e62743c06e0e55b319ca5b47e3e306464d5",
-		"29db8c969661c511fbe2a341ab25c993c5f9c555842a75d6ddbcfa70dec16910"
+		"29db8c969661c511fbe2a341ab25c993c5f9c555842a75d6ddbcfa70dec16910",
+		"196921e8c232259c8e6a6852b9ee8d9ab2d29a91419f0c8dc27ba6f034231683"
 	],
 	"bin": [
 		"bin\\awk.exe",