Bump redis.clients:jedis from 5.1.0 to 5.1.2

Bumps [redis.clients:jedis](https://github.com/redis/jedis) from 5.1.0 to 5.1.2.
- [Release notes](https://github.com/redis/jedis/releases)
- [Commits](redis/jedis@v5.1.0...v5.1.2)

---
updated-dependencies:
- dependency-name: redis.clients:jedis
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

build.gradle

@@ -42,7 +42,7 @@ dependencies {
     implementation("net.ttddyy:datasource-proxy:1.10")
     implementation("org.postgresql:postgresql:42.7.2")
     implementation("io.lettuce:lettuce-core:6.3.1.RELEASE")
-    implementation 'redis.clients:jedis:5.1.0'
+    implementation 'redis.clients:jedis:5.1.2'
     implementation("org.eclipse.collections:eclipse-collections-api:11.1.0")
     implementation("org.eclipse.collections:eclipse-collections:11.1.0")
     implementation("org.apache.commons:commons-pool2:2.12.0")