[typetools/checker-framework] 5e53e6: No closed issues.

0 views
Skip to first unread message

Suzanne Millstein

unread,
Apr 7, 2026, 5:22:08 PM (4 days ago) Apr 7
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 5e53e6cfd1e5535623ea260342391037106778ec
https://github.com/typetools/checker-framework/commit/5e53e6cfd1e5535623ea260342391037106778ec
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-04-07 (Tue, 07 Apr 2026)

Changed paths:
M docs/CHANGELOG.md

Log Message:
-----------
No closed issues.


Commit: c532f6d12fd5352610f70215f010786e9a2e9924
https://github.com/typetools/checker-framework/commit/c532f6d12fd5352610f70215f010786e9a2e9924
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-04-07 (Tue, 07 Apr 2026)

Changed paths:
M release.gradle

Log Message:
-----------
Put a copy of manual.pdf at top level of website as expected.


Compare: https://github.com/typetools/checker-framework/compare/e67ae858ed36...c532f6d12fd5

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