From 6b6ab8139dc90e6da45c176d32b1448878dcd68f Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Wed, 24 May 2023 20:24:57 +0000
Subject: [PATCH] mongodb-database-tools: Update to version 100.7.1

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