tree 1e764dc124652ec01383b2e11aa823387b3b8c3e
parent d7fbfe107d57842e584cfb9093cad4cfd67ddb40
author Bram Moolenaar <Bram@vim.org> 1365181127 +0200
committer Bram Moolenaar <Bram@vim.org> 1365181127 +0200

updated for version 7.3.880
Problem:    When writing viminfo, old history lines may replace lines written
            more recently by another Vim instance.
Solution:   Mark history entries that were read from viminfo and overwrite
            them when merging with the current viminfo.