log src/testdir/dumps/Test_incsearch_substitute_12.dump @ 15476:5b0f37d844b3 v8.1.0746

age author description
Sun, 16 Sep 2018 17:15:05 +0200 Christian Brabandt patch 8.1.0399: 'hlsearch' highlight remains in other window v8.1.0399