From cc89f7fa40827926d79c6a5db76d8a776fc70a0b Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 20 Jul 2023 20:35:51 +0000
Subject: [PATCH] red-toolchain@20jul23: Fix hash (Closes #4957)

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

diff --git a/bucket/red-toolchain.json b/bucket/red-toolchain.json
index 990f6dbddd..6d9a92c378 100644
--- a/bucket/red-toolchain.json
+++ b/bucket/red-toolchain.json
@@ -7,7 +7,7 @@
         "url": "https://github.com/red/red#license"
     },
     "url": "https://static.red-lang.org/dl/auto/win/red-toolchain-20jul23-af3d35a2f.exe#/red-toolchain.exe",
-    "hash": "c78ce46f08bc81b4e8de1442f8ab5cbe8cbb800c8bd1bd92e77088a52fb15dbc",
+    "hash": "02b0465158b3dde2453d262f0ebaed4d975f5ca7e77ac068b8b199aa2bb6a73b",
     "bin": "red-toolchain.exe",
     "checkver": {
         "url": "https://static.red-lang.org/dl/auto/win/history.html",