Update dependency org.plumelib:plume-util to v1.12.3

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
org.plumelib:plume-util	1.12.2 -> 1.12.3

---

Release Notes

plume-lib/plume-util (org.plumelib:plume-util)

v1.12.3

• In ArraysPlume:
  • new method prepend() concatenates an element and an array into a new array.
  • new methods copyEmpty() type-safely make an array of the same type.
• In CollectionsPlume:
  • Renamed sortList() to sorted().
  • Methods that now take a Collection rather than a List as input:
    • hasDuplicates()
    • hasNoDuplicates()
    • noDuplicates()
    • withoutDuplicates()
    • withoutDuplicatesSorted()
    • withoutDuplicatesComparable()
    • isSorted()
    • isSortedNoDuplicates()

---

Configuration

📅 Schedule: Branch creation - At 12:00 AM through 04:59 AM and 10:00 PM through 11:59 PM, Monday through Friday ( * 0-4,22-23 * * 1-5 ), Only on Sunday and Saturday ( * * * * 0,6 ) in timezone America/Los_Angeles, Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.