Bump io.micrometer:micrometer-registry-prometheus from 1.13.0 to 1.13.1 (#975)

Bumps [io.micrometer:micrometer-registry-prometheus](https://github.com/micrometer-metrics/micrometer) from 1.13.0 to 1.13.1.
- [Release notes](https://github.com/micrometer-metrics/micrometer/releases)
- [Commits](micrometer-metrics/micrometer@v1.13.0...v1.13.1)

---
updated-dependencies:
- dependency-name: io.micrometer:micrometer-registry-prometheus
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]

Diff for: server/pom.xml

@@ -15,7 +15,7 @@
         <springdoc.version>2.5.0</springdoc.version>
         <logback.logstash.version>7.4</logback.logstash.version>
         <postgres.version>42.7.3</postgres.version>
-        <micrometer.version>1.13.0</micrometer.version>
+        <micrometer.version>1.13.1</micrometer.version>
         <tokensupport.version>4.1.7</tokensupport.version>
     </properties>