[typetools/checker-framework] 0aa2b9: Use plume-util version 1.12.1

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 0aa2b9be586a9cc0b41494301554bbeab8047a8d
https://github.com/typetools/checker-framework/commit/0aa2b9be586a9cc0b41494301554bbeab8047a8d
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-11-11 (Tue, 11 Nov 2025)

Changed paths:
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AClass.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UBQualifier.java
M checker/src/main/java/org/checkerframework/checker/nullness/KeyForValue.java
M checker/src/main/java/org/checkerframework/checker/propkey/PropertyKeyAnnotatedTypeFactory.java
M dataflow/src/main/java/org/checkerframework/dataflow/constantpropagation/ConstantPropagationStore.java
M docs/developer/mutable-index-checking-project.md
M framework-test/src/main/java/org/checkerframework/framework/test/TypecheckResult.java
M framework/src/main/java/org/checkerframework/common/reflection/ClassValChecker.java
M framework/src/main/java/org/checkerframework/common/reflection/MethodValAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/reflection/MethodValChecker.java
M framework/src/main/java/org/checkerframework/common/value/ValueAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceScenesStorage.java
M framework/src/main/java/org/checkerframework/framework/ajava/InsertAjavaAnnotations.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractStore.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/treeannotator/PropagationTreeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/type/typeannotator/DefaultQualifierForUseTypeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/util/defaults/QualifierDefaults.java
M gradle.properties

Log Message:
-----------
Use plume-util version 1.12.1



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications