diff --git a/build.gradle b/build.gradle
index 4515bb43da..93be4ed5f3 100644
--- a/build.gradle
+++ b/build.gradle
@@ -5,7 +5,7 @@ buildscript {
file("$projectDir/constants.properties").withInputStream { constants.load(it) }
// Our version: bump this on release.
- ext.corda_release_version = "0.13-SNAPSHOT"
+ ext.corda_release_version = "0.13.0"
// Increment this on any release that changes public APIs anywhere in the Corda platform
// TODO This is going to be difficult until we have a clear separation throughout the code of what is public and what is internal
ext.corda_platform_version = 1
diff --git a/docs/source/getting-set-up.rst b/docs/source/getting-set-up.rst
index ac221d2217..f348acf6f7 100644
--- a/docs/source/getting-set-up.rst
+++ b/docs/source/getting-set-up.rst
@@ -154,7 +154,7 @@ And a simple example CorDapp for you to explore basic concepts is available here
You can clone these repos to your local machine by running the command ``git clone [repo URL]``.
By default, these repos will be on the unstable ``master`` branch. You should check out the latest milestone release
-instead by running ``git checkout release-M12``.
+instead by running ``git checkout release-M13``.
Next steps
----------
diff --git a/docs/source/index.rst b/docs/source/index.rst
index fab9e1ec77..7ecd523716 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -2,7 +2,7 @@ Welcome to Corda !
==================
.. warningX:: This build of the docs is from the "|version|" branch, not a milestone release. It may not reflect the
- current state of the code. `Read the docs for milestone release M12.1 `_.
+ current state of the code. `Read the docs for milestone release M13 `_.
`Corda `_ is a blockchain-inspired open source distributed ledger platform. If you’d like a
quick introduction to distributed ledgers and how Corda is different, then watch this short video: