From 74567919d7dc15c2f85bab5126bb5a87993caa1c Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 7 Dec 2023 20:24:26 +0000
Subject: [PATCH] mongodb-database-tools: Update to version 100.9.4

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

diff --git a/bucket/mongodb-database-tools.json b/bucket/mongodb-database-tools.json
index 5d34935b50..3ee77ae85a 100644
--- a/bucket/mongodb-database-tools.json
+++ b/bucket/mongodb-database-tools.json
@@ -1,5 +1,5 @@
 {
-    "version": "100.9.3",
+    "version": "100.9.4",
     "description": "A collection of command-line utilities for working with a MongoDB deployment.",
     "homepage": "https://docs.mongodb.com/database-tools/",
     "license": {
@@ -11,8 +11,8 @@
     },
     "architecture": {
         "64bit": {
-            "url": "https://fastdl.mongodb.org/tools/db/mongodb-database-tools-windows-x86_64-100.9.3.msi",
-            "hash": "cb7589dc69d6755aaae0d40503e0967da743f5d147c60f5cf87091dfd53e743f"
+            "url": "https://fastdl.mongodb.org/tools/db/mongodb-database-tools-windows-x86_64-100.9.4.msi",
+            "hash": "575b0791fe4d26dfc60a4e059dbe05a7d8560c1fcfa07e3d508fad2c726fed16"
         }
     },
     "extract_dir": "MongoDB\\Tools\\100",