From 4cb80dfdad2a700271af17adaba70031827002a0 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Wed, 31 May 2023 12:31:29 +0000
Subject: [PATCH] mongodb-database-tools: Update to version 100.7.2

---
 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 10fbeb573f..57b3ba3f9d 100644
--- a/bucket/mongodb-database-tools.json
+++ b/bucket/mongodb-database-tools.json
@@ -1,5 +1,5 @@
 {
-    "version": "100.7.1",
+    "version": "100.7.2",
     "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.7.1.msi",
-            "hash": "d80977ff611d040e814d1a516401b095a08ff8f86cc26f3b403b751bb71f4216"
+            "url": "https://fastdl.mongodb.org/tools/db/mongodb-database-tools-windows-x86_64-100.7.2.msi",
+            "hash": "94e0b624107401d956f71500b084feba4b0380cdac57e9cd54db7a98f5d275f7"
         }
     },
     "extract_dir": "MongoDB\\Tools\\100",