# HG changeset patch # User Bram Moolenaar # Date 1562956207 -7200 # Node ID 21b9633e27d1b0e691fcc54a656b96f92f3100f9 # Parent 72ce5ca82a75a6296ec289eafa05e93677af1d4a Added tag v8.1.1672 for changeset 72ce5ca82a75a6296ec289eafa05e93677af1d4a diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19309,3 +19309,4 @@ b0de2e92ed46827206f4c992df3f7355d47da507 ce962e2644bf367e15d5da05a3bf28dfaee89781 v8.1.1669 54fcde87a9eb2c4cdd3a909f632305ea342f6ad4 v8.1.1670 a0eb2ff0f297fb7d72eec2cd1ddd2a5220ef89eb v8.1.1671 +72ce5ca82a75a6296ec289eafa05e93677af1d4a v8.1.1672