diff --git a/src/version b/src/version
index 7d08a227..21a8355b 100644
--- a/src/version
+++ b/src/version
@@ -1 +1 @@
-2.12.16
+2.12.17