# HG changeset patch # User Bram Moolenaar # Date 1563447607 -7200 # Node ID 30036b80e5ca5f4881468aa64cce38b83bb4e05b # Parent 45c1dc3533217d04e4fcf95083009c14af8fc1e4 Added tag v8.1.1712 for changeset 45c1dc3533217d04e4fcf95083009c14af8fc1e4 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19349,3 +19349,4 @@ e685de8a1ac6693d788652e0049cd9bec241d50c 73e81cd9e6cb423f2639a98eb82b61f16f8cefad v8.1.1709 ae11ab022b02663576c7b2708bc71fc3db4c3496 v8.1.1710 6580e2dfcaebc20bded3f9710539afd0054703af v8.1.1711 +45c1dc3533217d04e4fcf95083009c14af8fc1e4 v8.1.1712