diff --git a/RELEASE.md b/RELEASE.md
new file mode 100644
index 0000000000..1b93abe030
--- /dev/null
+++ b/RELEASE.md
@@ -0,0 +1,13 @@
+## 0.30.0 - 2022-10-31
+
+### Breaking changes
+
+- The format of parsing error outputs has been changed. Parsing error messages that used to be prefixed with `Error by TLA+ parser` are now prefixed with `Parsing error` and error messages that used to begin with `Syntax error in annotation:` will now also include the `Parsing error` prefix. This is being recorded as a breaking change since it could break scripts that rely on parsing stdout. (See #2204 and #2242.)
+
+### Features
+
+- Return JSON with success or failure data from RPC calls to the CmdExecutor service (see #2186).
+
+### Bug fixes
+
+- Write the SMT log also to a custom rundir specified with `--run-dir=`, see #2208
diff --git a/VERSION b/VERSION
index 78fbd9313d..c25c8e5b74 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.29.3-SNAPSHOT
+0.30.0