release-1.13.12 tag
diff --git a/.hgtags b/.hgtags index 57ed568..225c5e3 100644 --- a/.hgtags +++ b/.hgtags
@@ -424,3 +424,4 @@ fb1212c7eca4c5328fe17d6cd95b010c67336aac release-1.13.9 31c929e16910c38492581ef474e72fa67c28f124 release-1.13.10 64179f242cb55fc206bca59de9bfdc4cf5ebcec7 release-1.13.11 +051e5fa03b92b8a564f6b12debd483d267391e82 release-1.13.12