log src/testdir/dumps/Test_incsearch_substitute_12.dump @ 14774:5e5f2d824189 v8.1.0399

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