From d571732da940a4173d3c1a983ad0f7a2be0b245d Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Sat, 22 Jun 2019 11:00:22 +0000
Subject: [PATCH] gawk: Update to version 5.0.1

---
 bucket/gawk.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/gawk.json b/bucket/gawk.json
index 113f5435dc..53a735d35a 100644
--- a/bucket/gawk.json
+++ b/bucket/gawk.json
@@ -1,10 +1,10 @@
 {
-    "version": "5.0.0",
+    "version": "5.0.1",
     "description": "Interprets a special-purpose programming language that makes it possible to handle simple data-reformatting jobs with just a few lines of code.",
     "homepage": "https://sourceforge.net/projects/ezwinports/",
     "license": "GPL-3.0-only",
-    "url": "https://downloads.sourceforge.net/project/ezwinports/gawk-5.0.0-w32-bin.zip",
-    "hash": "sha1:b87ff4fb903ac2bc1d6acaaf215993d966224c0f",
+    "url": "https://downloads.sourceforge.net/project/ezwinports/gawk-5.0.1-w32-bin.zip",
+    "hash": "sha1:5c5463458c21dcfccade81a730d2fb0ba681557f",
     "bin": [
         "bin\\awk.exe",
         "bin\\gawk.exe",