[typetools/checker-framework] 9507a0: Delete file SKIP-REQUIRE-JAVADOC

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 9507a09001b8a974a8b5c9a981fbbd8a83d35e01
https://github.com/typetools/checker-framework/commit/9507a09001b8a974a8b5c9a981fbbd8a83d35e01
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
R SKIP-REQUIRE-JAVADOC

Log Message:
-----------
Delete file SKIP-REQUIRE-JAVADOC


Commit: 6ccb27cb439616d47adcd11f19f101057e1ce8d7
https://github.com/typetools/checker-framework/commit/6ccb27cb439616d47adcd11f19f101057e1ce8d7
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/typeannotator/DefaultQualifierForUseTypeAnnotator.java

Log Message:
-----------
Spelling fix


Compare: https://github.com/typetools/checker-framework/compare/2d1e67e8bd04...6ccb27cb4396

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