diff -r dceed2960d82 -r e0515720eee4 .version
--- a/.version	Sat Sep 24 22:08:46 2011 +0200
+++ b/.version	Wed Oct 12 00:43:47 2011 +0200
@@ -1,1 +1,1 @@
-1.12.3+hg
+1.12.4