diff --git a/config/version.txt b/config/version.txt
index ba3733c61..be6412775 100644
--- a/config/version.txt
+++ b/config/version.txt
@@ -1 +1 @@
-8.13.4
+8.13.5