Prep for release.

typetools · Nov 1, 2023 · 5f0473d · 5f0473d
1 parent aecdb0e
commit 5f0473d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 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.39.1-SNAPSHOT'
+  version '3.40.0'
 
   tasks.withType(JavaCompile).configureEach {
     options.fork = true

diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
@@ -3,13 +3,13 @@ Version 3.40.0 (November 1, 2023)
 
 **User-visible changes:**
 
-Optional Checker:  `checker-qual.jar` defines `OptionalUtil.castPresent()` for
+Optional Checker:  `checker-util.jar` defines `OptionalUtil.castPresent()` for
 suppressing false positive warnings from the Optional Checker.
 
-**Implementation details:**
-
 **Closed issues:**
 
+#4947, #6179, #6215, #6218, #6222, #6247, #6259, #6260.
+
 
 Version 3.39.0 (October 2, 2023)
 --------------------------------