From 6eb22da201569b226f369144f36fd3b27bacbec1 Mon Sep 17 00:00:00 2001
From: Picnic-DevPla-Bot <168541957+Picnic-DevPla-Bot@users.noreply.github.com>
Date: Mon, 15 Jul 2024 08:29:54 +0200
Subject: [PATCH] Upgrade MongoDB driver 5.1.1 -> 5.1.2 (#1241)

See:
- https://github.com/mongodb/mongo-java-driver/releases/tag/r5.1.2
- https://github.com/mongodb/mongo-java-driver/compare/r5.1.1...r5.1.2
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index d651386a04..6d2e63eede 100644
--- a/pom.xml
+++ b/pom.xml
@@ -466,7 +466,7 @@
             <dependency>
                 <groupId>org.mongodb</groupId>
                 <artifactId>mongodb-driver-core</artifactId>
-                <version>5.1.1</version>
+                <version>5.1.2</version>
             </dependency>
             <dependency>
                 <groupId>org.openrewrite</groupId>