release-0.5.12 tag

diff --git a/.hgtags b/.hgtags
index 0bf86af86cff4a72f6d7e252936e1792858835fc..f95dc2a430dae3bc4479db7cd93ece1c81004889 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -140,3 +140,4 @@ aed8a9de62456c4b360358bc112ccca32ce02e8d release-0.5.7
 779216610662c3a459935d506f66a9b16b9c9576 release-0.5.9
 9eeb585454f3daa30cf768e95c088a092fe229b9 release-0.5.10
 bb491c8197e38ca10ae63b1f1ecb36bf6fdaf950 release-0.5.11
+613369e08810f36bbcc9734ef1059a03ccbf5e16 release-0.5.12