Bump org.plumelib:plume-util from 1.11.0 to 1.12.2

Bumps [org.plumelib:plume-util](https://github.com/plume-lib/plume-util) from 1.11.0 to 1.12.2.
- [Release notes](https://github.com/plume-lib/plume-util/releases)
- [Changelog](https://github.com/plume-lib/plume-util/blob/master/CHANGELOG.md)
- [Commits](plume-lib/plume-util@v1.11.0...v1.12.2)

---
updated-dependencies:
- dependency-name: org.plumelib:plume-util
  dependency-version: 1.12.2
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

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

Author: dependabot[bot]

gradle/libs.versions.toml

@@ -3,7 +3,7 @@ junitVer = "5.13.4"
 guavaVer = "33.4.8-jre"
 jSpecifyConformanceTestVer = "0.0.0-SNAPSHOT"
 checkerFrameworkVer = "3.49.3-eisop1"
-plumeUtilVer = "1.11.0"
+plumeUtilVer = "1.12.2"
 
 [libraries]
 junit = { module = "org.junit.jupiter:junit-jupiter", version.ref = "junitVer" }