diff -r 8b51b5efd1ae -r d08fd21d74d3 .hgtags
--- a/.hgtags Sun Apr 28 18:08:54 2013 +0200
+++ b/.hgtags Sun Apr 28 18:09:10 2013 +0200
@@ -13,3 +13,4 @@
=======
27dcfe29985b53e7a0036a88e868262d62520c79 release-5.1.1
>>>>>>> other
+8b51b5efd1ae12ce067d78c605f1c513a5dd65ca release-5.1.2