diff options
Diffstat (limited to 'version.php')
| -rw-r--r-- | version.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.php b/version.php index 77d151bb6..858877cfd 100644 --- a/version.php +++ b/version.php @@ -14,4 +14,4 @@ $version = 2012120500; // Human-friendly version name -$release = '1.8.11'; +$release = '1.8.12'; |