From 37f50cec5838974da4908ebb2cee5e5fb7ce9759 Mon Sep 17 00:00:00 2001
From: Suzanne Millstein <smillst@cs.washington.edu>
Date: Wed, 1 Sep 2021 08:46:24 -0700
Subject: [PATCH] Update change log for release.

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

diff --git a/build.gradle b/build.gradle
index e6bbf0f2789..a12ff60b994 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.17.0'
+    version '3.18.0'
 
     repositories {
         mavenCentral()
diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
index e9de36d60cd..c1b5f66019e 100644
--- a/docs/CHANGELOG.md
+++ b/docs/CHANGELOG.md
@@ -5,9 +5,9 @@ Version 3.18.0 (September 1, 2021)
 
 Java records are type-checked.  Thanks to Neil Brown.
 
-**Implementation details:**
 
 **Closed issues:**
+#4838, #4843, #4852, #4853, #4861, #4876, #4877, #4878, #4878, #4889, #4889.
 
 Version 3.17.0 (August 3, 2021)
 -------------------------------