v8.1.1739
06029a85 · patch 8.1.1739: deleted match highlighting not updated in other window ·