log src/testdir/dumps/Test_incsearch_substitute_12.dump @ 15836:fe7e94f39e7f v8.1.0925

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