From 265e2d9e7961190ad182911af10933beda8a26dd Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 4 Aug 2023 20:23:50 +0000
Subject: [PATCH] ugrep: Update to version 3.12.5

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

diff --git a/bucket/ugrep.json b/bucket/ugrep.json
index 3202f01847..f427466823 100644
--- a/bucket/ugrep.json
+++ b/bucket/ugrep.json
@@ -1,10 +1,10 @@
 {
-    "version": "3.12.4",
+    "version": "3.12.5",
     "description": "A faster, user-friendly and compatible grep replacement",
     "homepage": "https://github.com/Genivia/ugrep",
     "license": "BSD-3-Clause",
-    "url": "https://github.com/Genivia/ugrep/releases/download/v3.12.4/ugrep.exe#/ug.exe",
-    "hash": "4c42a7dbb90e77ca0d28ea2c8face6a3fc8b3760708cd5e4294d3406bffd17e8",
+    "url": "https://github.com/Genivia/ugrep/releases/download/v3.12.5/ugrep.exe#/ug.exe",
+    "hash": "6627951d21021b07fb2d785653cf6e066af120339d2b6f1d39ec28a369fe1406",
     "bin": [
         "ug.exe",
         [