# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1500120904 -7200
# Node ID e2df50e0f6c9dcd066b9340f13f31a990926dfd7
# Parent  16dab1cd56f2e3ed067ebb87fcc3dd80f968625f
Added tag v8.0.0712 for changeset 16dab1cd56f2e3ed067ebb87fcc3dd80f968625f

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -16519,3 +16519,4 @@ 140d51d5b5c3faeef79174df8af73d503d3def2d
 67cf0d45b00630316f70ea8bd426aa4a5ffce40b v8.0.0709
 8014350fe51aee6d411ab8cdef750aebcc0c3c67 v8.0.0710
 a7cd2a53590c66fd5dc50134f9d1f1d740fd5f92 v8.0.0711
+16dab1cd56f2e3ed067ebb87fcc3dd80f968625f v8.0.0712