# HG changeset patch # User Bram Moolenaar # Date 1563451208 -7200 # Node ID 23c5d343007c3366e29fcf1907d3be090ac8b655 # Parent 6e756ad5ef1a486aa11ba0305dd3990dc739c066 Added tag v8.1.1713 for changeset 6e756ad5ef1a486aa11ba0305dd3990dc739c066 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19350,3 +19350,4 @@ 73e81cd9e6cb423f2639a98eb82b61f16f8cefad ae11ab022b02663576c7b2708bc71fc3db4c3496 v8.1.1710 6580e2dfcaebc20bded3f9710539afd0054703af v8.1.1711 45c1dc3533217d04e4fcf95083009c14af8fc1e4 v8.1.1712 +6e756ad5ef1a486aa11ba0305dd3990dc739c066 v8.1.1713