commit | 36f0f0686ca313ef7b76387378cd5dc7acea1924 | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Tue Jun 14 23:02:46 2016 +0200 |
committer | Bram Moolenaar <Bram@vim.org> | Tue Jun 14 23:02:46 2016 +0200 |
tree | 55f9977975fcee2a56c28b7327b4235c18b7349d | |
parent | ab47c61f46f0797308217cd3c045472cb0ec3195 [diff] [blame] |
patch 7.4.1938 Problem: When writing viminfo numbered marks were duplicated. Solution: Check for duplicates between current numbered marks and the ones read from viminfo.
diff --git a/src/version.c b/src/version.c index 2cdd142..1a2b1f3 100644 --- a/src/version.c +++ b/src/version.c
@@ -754,6 +754,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1938, +/**/ 1937, /**/ 1936,