Closed smillst closed 2 years ago
Merge https://github.com/typetools/checker-framework/pull/5068 after the plugin is released.
Merge https://github.com/typetools/checker-framework/pull/5068 after the plugin is released.