[typetools/annotation-tools] f9f8d6: Use plume-util 1.11.0

0 views
Skip to first unread message

Michael Ernst

unread,
Jun 27, 2025, 11:26:55 AM6/27/25
to annotation...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/annotation-tools
Commit: f9f8d6b3ccda55bc74aefc9b93ee2615330d4acd
https://github.com/typetools/annotation-tools/commit/f9f8d6b3ccda55bc74aefc9b93ee2615330d4acd
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-06-27 (Fri, 27 Jun 2025)

Changed paths:
M annotation-file-utilities/build.gradle
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AClass.java

Log Message:
-----------
Use plume-util 1.11.0



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/annotation-tools/settings/notifications
Reply all
Reply to author
Forward
0 new messages