# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1500228904 -7200
# Node ID 50455b3aeae54b4e87026613247bac3ca0e7e7a7
# Parent  1ce1376fbbf8abcb749b214b4bb231b8119dd967
Added tag v8.0.0725 for changeset 1ce1376fbbf8abcb749b214b4bb231b8119dd967

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -16531,3 +16531,4 @@ f87c43fca41dddf468c1b246117cd3481433d8a0
 6bbc7bc0f3ddd19807a9f7107cbc02b33aded2bf v8.0.0722
 c66d6dc92f53a6644567b20221513e2a784dad4e v8.0.0723
 b9928ef8632f0ad97ab88fbd1fed7b3944177665 v8.0.0724
+1ce1376fbbf8abcb749b214b4bb231b8119dd967 v8.0.0725