[typetools/checker-framework] b26524: There is no need to build the annotated JDK (#6909)

1 view
Skip to first unread message

Michael Ernst

unread,
Dec 3, 2024, 5:12:33 PMDec 3
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: b26524cbd8bd71455e65942f0b0d2b2e29d99590
https://github.com/typetools/checker-framework/commit/b26524cbd8bd71455e65942f0b0d2b2e29d99590
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-12-03 (Tue, 03 Dec 2024)

Changed paths:
M docs/developer/developer-manual.html

Log Message:
-----------
There is no need to build the annotated JDK (#6909)



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