git: 17c65a967594 - main - databases/mongodb-tools: upgrade to 100.7.2

The branch main has been updated by ronald:

URL: https://cgit.FreeBSD.org/ports/commit/?id=17c65a967594285a3890776547d4937965cf885d

commit 17c65a967594285a3890776547d4937965cf885d
Author:     Ronald Klop <ronald@FreeBSD.org>
AuthorDate: 2023-06-01 07:38:40 +0000
Commit:     Ronald Klop <ronald@FreeBSD.org>
CommitDate: 2023-06-01 10:44:30 +0000

    databases/mongodb-tools: upgrade to 100.7.2
    
    Changelog:
    https://www.mongodb.com/docs/database-tools/release-notes/database-tools-changelog/#100.7.2-changelog
---
 databases/mongodb-tools/Makefile | 3 +--
 databases/mongodb-tools/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/databases/mongodb-tools/Makefile b/databases/mongodb-tools/Makefile
index e7f393e36030..94c402f368fc 100644
--- a/databases/mongodb-tools/Makefile
+++ b/databases/mongodb-tools/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	mongodb-tools
-DISTVERSION=	100.7.0
-PORTREVISION=	2
+DISTVERSION=	100.7.2
 CATEGORIES=	databases
 
 MAINTAINER=	ronald@FreeBSD.org
diff --git a/databases/mongodb-tools/distinfo b/databases/mongodb-tools/distinfo
index f334e0d29376..af2c922cd2c7 100644
--- a/databases/mongodb-tools/distinfo
+++ b/databases/mongodb-tools/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1678288230
-SHA256 (mongodb-mongo-tools-100.7.0_GH0.tar.gz) = 09afff36c690fcae36ce4290ef6fd6ae5060e5071b9904da027cdb0a2c292ebe
-SIZE (mongodb-mongo-tools-100.7.0_GH0.tar.gz) = 4414796
+TIMESTAMP = 1685604562
+SHA256 (mongodb-mongo-tools-100.7.2_GH0.tar.gz) = 6128d1e44536b7bc6b86ce3ea15872e937fa0237e5b57ae98cbfab2a318af09b
+SIZE (mongodb-mongo-tools-100.7.2_GH0.tar.gz) = 4510467