From 2ff66f790090729e1f286074d488359e6776889b Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 13 Jul 2023 23:17:39 +0000
Subject: [PATCH] red@13jul23: Fix hash (Closes #4944)

---
 bucket/red.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bucket/red.json b/bucket/red.json
index c3fb6bbb0c..c00b041d8d 100644
--- a/bucket/red.json
+++ b/bucket/red.json
@@ -7,7 +7,7 @@
         "url": "https://github.com/red/red#license"
     },
     "url": "https://static.red-lang.org/dl/auto/win/red-13jul23-aea09888d.exe#/red.exe",
-    "hash": "68e4c34b71acea5ef89e9f89a82cd3150fb8f8e3470c9b51a65f7b1590fba2c0",
+    "hash": "8c912376d2376d8d8b58c10233cc4f434cf171408a583de1da1d9bc825ff22d9",
     "bin": "red.exe",
     "checkver": {
         "url": "https://static.red-lang.org/dl/auto/win/history.html",