[typetools/checker-framework] 9f37fa: Update JDK version
0 views
Skip to first unread message
Michael Ernst
May 22, 2026, 2:47:42 PM (3 days ago) May 22
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 9f37fa23f005b1457cbda50569439631b3f5aa90
https://github.com/typetools/checker-framework/commit/9f37fa23f005b1457cbda50569439631b3f5aa90
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-05-22 (Fri, 22 May 2026)
Changed paths:
M docs/developer/release/README-release-process.html
Log Message:
-----------
Update JDK version
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Home: https://github.com/typetools/checker-framework
Commit: 9f37fa23f005b1457cbda50569439631b3f5aa90
https://github.com/typetools/checker-framework/commit/9f37fa23f005b1457cbda50569439631b3f5aa90
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-05-22 (Fri, 22 May 2026)
Changed paths:
M docs/developer/release/README-release-process.html
Log Message:
-----------
Update JDK version
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages