diff --git a/build.gradle b/build.gradle index 27ea0c3ffe2..5363532a449 100644 --- a/build.gradle +++ b/build.gradle @@ -95,7 +95,7 @@ allprojects { // level (third number) if: // * any new checkers have been added, or // * backward-incompatible changes have been made to APIs or elsewhere. - version '3.20.1-SNAPSHOT' + version '3.21.0' repositories { mavenCentral() diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md index 18d5b2245dd..ff78b354cfc 100644 --- a/docs/CHANGELOG.md +++ b/docs/CHANGELOG.md @@ -7,11 +7,12 @@ The Checker Framework now more precisely computes the type of a switch expressio **Implementation details:** -The dataflow framework now analyzes switch expressions and switch statements that use the new `->` -case syntax. To do so, a new node, SwitchExpressionNode, was added. +The dataflow framework now analyzes switch expressions and switch statements +that use the new `->` case syntax. To do so, a new node, SwitchExpressionNode, +was added. **Closed issues:** - +#2373, #4934, #4977, #4979, #4987. Version 3.20.0 (December 6, 2021) -------------------------------