release-1.13.7 tag

diff --git a/.hgtags b/.hgtags
index 2fb896b61a922c2deefc4000db1bb644da6adff2..8127bebd921cb64b7bb8ff93c7e1b165831bf88e 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -419,3 +419,4 @@ d8b321a876d6254e9e98795e3b194ef053290354 release-1.11.11
 bbc642c813c829963ce8197c0ca237ab7601f3d4 release-1.13.4
 0d45b4cf7c2e4e626a5a16e1fe604402ace1cea5 release-1.13.5
 f87da7d9ca02b8ced4caa6c5eb9013ccd47b0117 release-1.13.6
+47cca243d0ed39bf5dcb9859184affc958b79b6f release-1.13.7