Simple diff to update mongo-tools. Feedback, OK?

diff --git a/databases/mongo-tools/Makefile b/databases/mongo-tools/Makefile
index 130ca402ef7..12dfbf09c4c 100644
--- a/databases/mongo-tools/Makefile
+++ b/databases/mongo-tools/Makefile
@@ -2,8 +2,7 @@ COMMENT=	tools for the MongoDB database
 
 GH_ACCOUNT=	mongodb
 GH_PROJECT=	mongo-tools
-GH_TAGNAME=	100.9.4
-#PKGNAME=	mongo-tools-${GH_TAGNAME:S/r//}
+GH_TAGNAME=	100.12.2
 
 CATEGORIES=	databases
 
diff --git a/databases/mongo-tools/distinfo b/databases/mongo-tools/distinfo
index 9d1397d2628..4df289f1ba2 100644
--- a/databases/mongo-tools/distinfo
+++ b/databases/mongo-tools/distinfo
@@ -1,2 +1,2 @@
-SHA256 (mongo-tools-100.9.4.tar.gz) = UTyEcfenM/BYK1ITMMytoybMAfR9pIm9p7W0KVlWQ4U=
-SIZE (mongo-tools-100.9.4.tar.gz) = 4742913
+SHA256 (mongo-tools-100.12.2.tar.gz) = 3YtrajFQJRObVaYba0m4lFyWTo9icpUd4Qg5XB/luIs=
+SIZE (mongo-tools-100.12.2.tar.gz) = 6643483