Closed Bohdankm22 closed 7 years ago
After the pull request is merged https://github.com/typetools/checker-framework/pull/1441 this one should be also merged to adjust the project to the new checker framework requirements.
After the pull request is merged https://github.com/typetools/checker-framework/pull/1441 this one should be also merged to adjust the project to the new checker framework requirements.