Bump the maven-patch-group group with 2 updates

Bumps the maven-patch-group group with 2 updates: [org.eclipse.jetty:jetty-bom](https://github.com/jetty/jetty.project) and [org.eclipse.jetty.ee10:jetty-ee10-bom](https://github.com/jetty/jetty.project).


Updates `org.eclipse.jetty:jetty-bom` from 12.0.12 to 12.0.13
- [Release notes](https://github.com/jetty/jetty.project/releases)
- [Commits](jetty/jetty.project@jetty-12.0.12...jetty-12.0.13)

Updates `org.eclipse.jetty.ee10:jetty-ee10-bom` from 12.0.12 to 12.0.13
- [Release notes](https://github.com/jetty/jetty.project/releases)
- [Commits](jetty/jetty.project@jetty-12.0.12...jetty-12.0.13)

Updates `org.eclipse.jetty.ee10:jetty-ee10-bom` from 12.0.12 to 12.0.13
- [Release notes](https://github.com/jetty/jetty.project/releases)
- [Commits](jetty/jetty.project@jetty-12.0.12...jetty-12.0.13)

---
updated-dependencies:
- dependency-name: org.eclipse.jetty:jetty-bom
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: maven-patch-group
- dependency-name: org.eclipse.jetty.ee10:jetty-ee10-bom
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: maven-patch-group
- dependency-name: org.eclipse.jetty.ee10:jetty-ee10-bom
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: maven-patch-group
...

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

pom.xml

@@ -67,7 +67,7 @@
     <ver.jakarta.json>2.0.1</ver.jakarta.json>
 
     <!-- These two must be in-step -->
-    <ver.jetty>12.0.12</ver.jetty>
+    <ver.jetty>12.0.13</ver.jetty>
     <ver.jakarta-servlet>6.1.0</ver.jakarta-servlet>
 
     <ver.shiro>2.0.1</ver.shiro>