diff --git a/CHANGELOG.md b/CHANGELOG.md
index 54c0b400b..81e3e2507 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,9 @@ All notable changes to the language server will be documented in this file.
 
 Check [Keep a Changelog](http://keepachangelog.com/) for recommendations on how to structure this file.
 
+## [1.3.12]
+- Make code generation for Java interop opt-in (#585)
+
 ## [1.3.11]
 - Fix crash when a Maven repository is missing (#584)
 
diff --git a/gradle.properties b/gradle.properties
index a5e899a5b..95fb25821 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,2 +1,2 @@
-version=1.3.12
+version=1.3.13
 javaVersion=11