# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1523722507 -7200
# Node ID cea7c555bd3e4bc598a0c20a426099949fa08ad7
# Parent  c32e9628dc302c4b1539c5ac607057ad186ac7c7
Added tag v8.0.1712 for changeset c32e9628dc302c4b1539c5ac607057ad186ac7c7

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -17510,3 +17510,4 @@ 4a1efd1a601846f322369d7ddeafd16afdf2657d
 1feeefd8cddb42f56ffbaa47f05f25177c7a8228 v8.0.1709
 6b49b6ea9e43610292386a41f12e62bee8d5bbc3 v8.0.1710
 39fcaaa973dbd18bc74aebb1c69b31219e757fe9 v8.0.1711
+c32e9628dc302c4b1539c5ac607057ad186ac7c7 v8.0.1712