Prep for release.

typetools · Dec 15, 2023 · 9053af5 · 9053af5
1 parent 886d0b3
commit 9053af5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/build.gradle b/build.gradle
@@ -114,7 +114,7 @@ allprojects {
   //   * any new checkers have been added, or
   //   * backward-incompatible changes have been made to APIs or elsewhere.
   // To make a snapshot release: ./gradlew publish
-  version '3.41.1-SNAPSHOT'
+  version '3.42.0'
 
   tasks.withType(JavaCompile).configureEach {
     options.fork = true

diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
@@ -1,5 +1,5 @@
-Version 3.41.1 (January 2, 2023)
----------------------------------
+Version 3.42.0 (December 15, 2023)
+----------------------------------
 
 **User-visible changes:**
 
@@ -11,10 +11,6 @@ In `org.checkerframework.common.util.debug`, renamed `EmptyProcessor` to `DoNoth
 Removed `org.checkerframework.common.util.report.DoNothingChecker`.
 Moved `ReportChecker` from `org.checkerframework.common.util.report` to `org.checkerframework.common.util.count.report`.
 
-**Implementation details:**
-
-**Closed issues:**
-
 
 Version 3.41.0 (December 4, 2023)
 ---------------------------------