diff --git a/dist/version b/dist/version
index 2b57ac476..c2d98982a 100644
--- a/dist/version
+++ b/dist/version
@@ -1 +1 @@
-1.18.17.12
+1.18.17.13