release-1.15.12 tag

diff --git a/.hgtags b/.hgtags
index c2a4b98196c6efcec283937de2117effa362e041..910104d3b5e2a824eb65a5d03773b18534a155a5 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -437,3 +437,4 @@ ee551e3f6dba336c0d875e266d7d55385f379b42 release-1.15.8
 d2fd76709909767fc727a5b4affcf1dc9ca488a7 release-1.15.9
 75f5c7f628411c79c7044102049f7ab4f7a246e7 release-1.15.10
 5155d0296a5ef9841f035920527ffdb771076b44 release-1.15.11
+0130ca3d58437b3c7c707cdddd813d530c68da9a release-1.15.12