# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1523889008 -7200
# Node ID 2c870347f731a88a6fabca182d2b1b5b6cbaa808
# Parent  bfd9249f72e0faa5745d4c528ade28c8bfa46b45
Added tag v8.0.1725 for changeset bfd9249f72e0faa5745d4c528ade28c8bfa46b45

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -17523,3 +17523,4 @@ 404b89cb1e2abe99b62e0ba923d6572d306c438b
 b28d679b1843f172710980cc174c9a1dc93c18cc v8.0.1722
 c3bf339a9d2d6a07e9b2a18a9f16531a62a87123 v8.0.1723
 e7b8c896fa96e91f239ec522e3b7bb885887f53f v8.0.1724
+bfd9249f72e0faa5745d4c528ade28c8bfa46b45 v8.0.1725