* tools/dist/release.py (recommended_release): Update to 1.13
in preparation for rolling the 1.13 release.
@@ -100,7 +100,7 @@ tool_versions['trunk'] = tool_versions['1.10']
# The version that is our current recommended release
# ### TODO: derive this from svn_version.h; see ../../build/getversion.py
-recommended_release = '1.12'
+recommended_release = '1.13'
# For clean-dist, a whitelist of artifacts to keep, by version.
supported_release_lines = frozenset({"1.9", "1.10", "1.12", "1.13"})
