# HG changeset patch # User Bram Moolenaar # Date 1556821807 -7200 # Node ID 3a07495a0806bb3e309dbea0e10484b93fb23112 # Parent 393dd420a753ca184be7999ad8a419d0db295604 Added tag v8.1.1245 for changeset 393dd420a753ca184be7999ad8a419d0db295604 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18883,3 +18883,4 @@ 854fb0ad4be626987f54e8748dcc0da15742c534 8cc31b1b1d233fb944d31580f80e86c7c7d4c5b5 v8.1.1242 7dcf301d14326dedf996c93f16a71bc58dcaf2a5 v8.1.1243 8428e0edba1b7a4a85c68e5a6c8ae0eeccf99e28 v8.1.1244 +393dd420a753ca184be7999ad8a419d0db295604 v8.1.1245