log src/testdir/dumps/Test_diff_with_cursorline_02.dump @ 14895:bde025b0d7de v8.1.0459

age author description
Tue, 02 Oct 2018 18:30:06 +0200 Christian Brabandt patch 8.1.0448: cursorline not removed when using 'cursorbind' v8.1.0448