diff --git a/ide/version.inc b/ide/version.inc
index e4b1577992..25670e6cbb 100644
--- a/ide/version.inc
+++ b/ide/version.inc
@@ -1 +1 @@
-'0.9.24'
+'0.9.25'