From 8a8822d554db771b388bf5947a79d346678d7fed Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 8 Sep 2025 12:38:03 +0000
Subject: [PATCH] Bump
 com.fasterxml.jackson.dataformat:jackson-dataformat-properties

Bumps [com.fasterxml.jackson.dataformat:jackson-dataformat-properties](https://github.com/FasterXML/jackson-dataformats-text) from 2.19.0 to 2.20.0.
- [Commits](https://github.com/FasterXML/jackson-dataformats-text/compare/jackson-dataformats-text-2.19.0...jackson-dataformats-text-2.20.0)

---
updated-dependencies:
- dependency-name: com.fasterxml.jackson.dataformat:jackson-dataformat-properties
  dependency-version: 2.20.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

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

diff --git a/tool/pom.xml b/tool/pom.xml
index 2895d98..eb79786 100644
--- a/tool/pom.xml
+++ b/tool/pom.xml
@@ -40,7 +40,7 @@
         <dependency>
             <groupId>com.fasterxml.jackson.dataformat</groupId>
             <artifactId>jackson-dataformat-properties</artifactId>
-            <version>2.19.0</version>
+            <version>2.20.0</version>
         </dependency>
         <dependency>
             <groupId>com.github.martinpaljak</groupId>