From 9053af5f89c0c62608a26b241716d58bbe0af28b Mon Sep 17 00:00:00 2001
From: Suzanne Millstein <smillst@cs.washington.edu>
Date: Fri, 15 Dec 2023 11:04:09 -0800
Subject: [PATCH] Prep for release.

---
 build.gradle      | 2 +-
 docs/CHANGELOG.md | 8 ++------
 2 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/build.gradle b/build.gradle
index 677a501fff6..9233a893eca 100644
--- 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
index aceaac1b0c6..c6b44896a01 100644
--- 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)
 ---------------------------------