Dear Checker Framework users,
Please upgrade to the latest Checker Framework (currently version 3.52.0) and give us your feedback, including opening new issues or upvoting existing issues. We have recently been focused on bug fixes, and we currently believe there are no open issues that would block a major version release. But, we might be overlooking something that is critical to you. We need your feedback to know that.
Another way to say this is: please treat Checker Framework 3.52.0 as a release candidate for 4.0.0, and tell us if there is something we should fix before releasing 4.0.0.
Thanks for your help.
-Mike