# HG changeset patch # User Christian Brabandt # Date 1500211804 -7200 # Node ID 7b139bb167d1eacd8a3c87406af59f61c624192c # Parent d093e4167733af756d61923eb6bd5bd4626bbfc1 Added tag v8.0.0720 for changeset d093e4167733af756d61923eb6bd5bd4626bbfc1 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -16526,3 +16526,4 @@ 5cd9ba96561d4bdcce42f1f19a341fd988bff6e4 26265ac3b7edf886d326a0d3d1e75e44f0b82e31 v8.0.0717 3b2afa2b77b32421126a927c8153d3eb45880596 v8.0.0718 3c6cc2f246450222b89f1fcb930a097ffea26802 v8.0.0719 +d093e4167733af756d61923eb6bd5bd4626bbfc1 v8.0.0720