Fix JDK 23 formatting mismatch #1039
+3
−3
Merged
Azure Pipelines / eisop.checker-framework (misc_jdk11)
succeeded
Jan 2, 2025 in 11m 19s
misc_jdk11 succeeded
Loading