1 files changed, 1 insertions, 1 deletions
diff --git a/version.php b/version.php
index 932d31961..5bc115d35 100644
--- a/version.php
+++ b/version.php
@@ -14,4 +14,4 @@
 $version = 2011061200;
 
 // Human-friendly version name
-$release = '1.8.0';
+$release = '1.8.0.1';