log src/testdir/dumps/Test_incsearch_substitute_12.dump @ 15860:9cd9bf2897de v8.1.0937

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