From a286164c28a707f39e6c54416f8ab0352c1bb355 Mon Sep 17 00:00:00 2001
From: Picnic-DevPla-Bot <168541957+Picnic-DevPla-Bot@users.noreply.github.com>
Date: Sun, 11 Aug 2024 12:23:58 +0200
Subject: [PATCH] Upgrade MongoDB driver 5.1.2 -> 5.1.3 (#1274)

See:
- https://jira.mongodb.org/issues/?jql=project%20%3D%20JAVA%20AND%20fixVersion%20%3E%204.11.2%20AND%20fixVersion%20%3C%3D%204.11.3
- https://github.com/mongodb/mongo-java-driver/releases/tag/r4.11.3
- https://github.com/mongodb/mongo-java-driver/compare/r4.11.2...r4.11.3
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 0e3eeab444e..965ba140099 100644
--- a/pom.xml
+++ b/pom.xml
@@ -471,7 +471,7 @@
             <dependency>
                 <groupId>org.mongodb</groupId>
                 <artifactId>mongodb-driver-core</artifactId>
-                <version>5.1.2</version>
+                <version>5.1.3</version>
             </dependency>
             <dependency>
                 <groupId>org.openrewrite</groupId>