[typetools/checker-framework] 8374d8: Copy-edit

[mernstcheckerframework]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 8374d8a1a63a455998c2b4048d2a9ed0d4d31bc6
https://github.com/typetools/checker-framework/commit/8374d8a1a63a455998c2b4048d2a9ed0d4d31bc6
Author: mernstcheckerframework <61880733+mernst...@users.noreply.github.com>
Date: 2026-07-03 (Fri, 03 Jul 2026)

Changed paths:
M annotation-file-utilities/bin/insert-annotations.bat
M annotation-file-utilities/tests/system-test/Makefile
M buildSrc/src/main/java/GitTask.java
M checker/bin-devel/count-suppression-reasons
M checker/bin-devel/test-guava.sh
M checker/tests/resourceleak-firstinitconstructor/FirstAssignmentInConditional.java
M dataflow/manual/examples/README.txt
M docs/developer/release/release_push.py
M javacutil/src/main/java/org/checkerframework/javacutil/DefaultAnnotationFormatter.java

Log Message:
-----------
Copy-edit

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>



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