Closed mernst closed 4 years ago
Merge together with related pull requests in CF and AFU https://github.com/typetools/checker-framework/pull/3360 https://github.com/typetools/annotation-tools/pull/296
Merge together with related pull requests in CF and AFU https://github.com/typetools/checker-framework/pull/3360 https://github.com/typetools/annotation-tools/pull/296