# HG changeset patch
# User Maxim Dounin <mdounin@mdounin.ru>
# Date 1523369470 -10800
# Node ID 1ad1cdfe7409db7feec0d9c4f715d46175da1ca5
# Parent  051e5fa03b92b8a564f6b12debd483d267391e82
release-1.13.12 tag

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -424,3 +424,4 @@ 20ca4bcff108d3e66977f4d97508637093492287
 fb1212c7eca4c5328fe17d6cd95b010c67336aac release-1.13.9
 31c929e16910c38492581ef474e72fa67c28f124 release-1.13.10
 64179f242cb55fc206bca59de9bfdc4cf5ebcec7 release-1.13.11
+051e5fa03b92b8a564f6b12debd483d267391e82 release-1.13.12