log src/testdir/dumps/Test_incsearch_substitute_10.dump @ 17869:70f53ec4db93 v8.1.1931

age author description
Fri, 31 Aug 2018 22:15:05 +0200 Christian Brabandt patch 8.1.0339: wrong highlight when 'incsearch' set and cancelling :s v8.1.0339