# HG changeset patch # User Bram Moolenaar # Date 1563822006 -7200 # Node ID ed03a1fb37ce98e80cee82ea8444b0673028a303 # Parent 15de78cb9f3978ca1f18eecf0368c9356e6dbcbb Added tag v8.1.1731 for changeset 15de78cb9f3978ca1f18eecf0368c9356e6dbcbb diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19368,3 +19368,4 @@ cfdef48743edfd9e4dcea017e6691202317e9f5c e43f0c0c491c82ed097eceb45fabb5ae8552cc85 v8.1.1728 9088fafff9b320882ac2b250bdc4560bb2bccdc7 v8.1.1729 3e708b5c0509522f4950e933095cab507fa373c3 v8.1.1730 +15de78cb9f3978ca1f18eecf0368c9356e6dbcbb v8.1.1731