From 8e4fef5ac4d557b120138fa0964873e16ed6a2e9 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 21 Nov 2023 12:40:30 +0000
Subject: [PATCH] Bump junit.version from 5.9.1 to 5.10.1

Bumps `junit.version` from 5.9.1 to 5.10.1.

Updates `org.junit.vintage:junit-vintage-engine` from 5.9.1 to 5.10.1
- [Release notes](https://github.com/junit-team/junit5/releases)
- [Commits](https://github.com/junit-team/junit5/compare/r5.9.1...r5.10.1)

Updates `org.junit.jupiter:junit-jupiter-api` from 5.9.1 to 5.10.1
- [Release notes](https://github.com/junit-team/junit5/releases)
- [Commits](https://github.com/junit-team/junit5/compare/r5.9.1...r5.10.1)

---
updated-dependencies:
- dependency-name: org.junit.vintage:junit-vintage-engine
  dependency-type: direct:development
  update-type: version-update:semver-minor
- dependency-name: org.junit.jupiter:junit-jupiter-api
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 32d276b7..f658d16b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -26,7 +26,7 @@
         <desmoj.version>2.5.1e</desmoj.version>
         <annotations.version>23.0.0</annotations.version>
 
-        <junit.version>5.9.1</junit.version>
+        <junit.version>5.10.1</junit.version>
         <mockito.version>4.8.0</mockito.version>
         <system-lambda.version>1.2.1</system-lambda.version>
     </properties>