release-1.13.12 tag

diff --git a/.hgtags b/.hgtags
index 57ed5684fc8e1640c8db7c9840a89bf02077c446..225c5e3fc7af8ea9a8d0991e67d44b0ba520d864 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -424,3 +424,4 @@ f87da7d9ca02b8ced4caa6c5eb9013ccd47b0117 release-1.13.6
 fb1212c7eca4c5328fe17d6cd95b010c67336aac release-1.13.9
 31c929e16910c38492581ef474e72fa67c28f124 release-1.13.10
 64179f242cb55fc206bca59de9bfdc4cf5ebcec7 release-1.13.11
+051e5fa03b92b8a564f6b12debd483d267391e82 release-1.13.12