1 files changed, 1 insertions, 0 deletions

diff --git a/.hgtags b/.hgtags
index 57ed5684f..225c5e3fc 100644
--- 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