From 4d80fd9960a7bc4ef3dddcb63bafec91c11aa129 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 4 Mar 2023 00:59:36 +0000 Subject: [PATCH] Bump MongoDb.Driver from 2.7.2 to 2.19.0 in /Platform/src/Platform Bumps [MongoDb.Driver](https://github.com/mongodb/mongo-csharp-driver) from 2.7.2 to 2.19.0. - [Release notes](https://github.com/mongodb/mongo-csharp-driver/releases) - [Commits](https://github.com/mongodb/mongo-csharp-driver/compare/v2.7.2...v2.19.0) --- updated-dependencies: - dependency-name: MongoDb.Driver dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- Platform/src/Platform/Platform.fsproj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Platform/src/Platform/Platform.fsproj b/Platform/src/Platform/Platform.fsproj index b471cc9..5710d21 100644 --- a/Platform/src/Platform/Platform.fsproj +++ b/Platform/src/Platform/Platform.fsproj @@ -21,7 +21,7 @@ - +