log src/testdir/dumps/Test_matchdelete_1.dump @ 23652:2a5b9801f2e2 v8.2.2368

age author description
Wed, 24 Jul 2019 14:30:08 +0200 Bram Moolenaar patch 8.1.1739: deleted match highlighting not updated in other window v8.1.1739