# HG changeset patch # User Christian Brabandt # Date 1523801707 -7200 # Node ID 550580b20af38e819cfbf5212e6679a747a994a7 # Parent 7152032191d7da5f08c91c84656b53e84bb595c0 Added tag v8.0.1719 for changeset 7152032191d7da5f08c91c84656b53e84bb595c0 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -17517,3 +17517,4 @@ 61979a75435a0db257339b0550775fefcabd2d11 f07e48d6650b85040d6528e5ce36039871c0c8d5 v8.0.1716 4034ddb84f0198d7d3dc5030b18435eb32f9fb57 v8.0.1717 2dd14253ad1269bf0e255d2edb6792a222b47c40 v8.0.1718 +7152032191d7da5f08c91c84656b53e84bb595c0 v8.0.1719