#Generated by Git-Commit-Id-Plugin
git.build.time=2025-10-31T10\:25\:55+0100
git.build.version=3.1.0
git.commit.id.abbrev=dad8764
git.commit.id.full=dad8764bcf23f72db77bde972ace12bff77d189e
