# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1500125404 -7200
# Node ID 792badfededb11f9c2606ec0b5fe5769642b4c81
# Parent  6ab627207f4ca09925bfb6aa548b2ee03cdcf939
Added tag v8.0.0713 for changeset 6ab627207f4ca09925bfb6aa548b2ee03cdcf939

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -16520,3 +16520,4 @@ 67cf0d45b00630316f70ea8bd426aa4a5ffce40b
 8014350fe51aee6d411ab8cdef750aebcc0c3c67 v8.0.0710
 a7cd2a53590c66fd5dc50134f9d1f1d740fd5f92 v8.0.0711
 16dab1cd56f2e3ed067ebb87fcc3dd80f968625f v8.0.0712
+6ab627207f4ca09925bfb6aa548b2ee03cdcf939 v8.0.0713