From 4e325995d18609f662cd692e7831d65bce064f5c Mon Sep 17 00:00:00 2001
From: antonio <avd@google.com>
Date: Tue, 29 Sep 2020 11:09:57 -0400
Subject: [PATCH] release: cutting 1.13.5 (#219)

Signed-off-by: Antonio Vicente <avd@google.com>
---
 VERSION                             | 2 +-
 docs/root/intro/version_history.rst | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/VERSION b/VERSION
index 0b33e0b5d033..43ded906259f 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.13.5-dev
+1.13.5
diff --git a/docs/root/intro/version_history.rst b/docs/root/intro/version_history.rst
index 4a25e0005076..e3190e972992 100644
--- a/docs/root/intro/version_history.rst
+++ b/docs/root/intro/version_history.rst
@@ -1,8 +1,8 @@
 Version history
 ---------------
 
-1.13.5 (Pending)
-================
+1.13.5 (September 29, 2020)
+===========================
 Changes
 -------
 * http: fixed CVE-2020-25017. Previously header matching did not match on all headers for non-inline headers. This patch