diff -r a2509a47c1ee -r fc1e002cf244 .hgtags
--- a/.hgtags	Thu Sep 18 12:59:31 2014 +0200
+++ b/.hgtags	Thu Sep 18 13:01:03 2014 +0200
@@ -81,3 +81,4 @@
 4dc95dbe4102fb45c7a6705ee29439f9dce92c1a V02.12.10
 79486a66b4b119159abd7819d63afc697d9f37de V02.12.10
 f0a6b4c4b3c0aac34f3aeb2fa32da256c5b03a18 V02.12.11
+a2509a47c1eec41bd3057b4507dd1313ca6a1454 V02.12.12