v8.2.3747
0bac5fc5 · patch 8.2.3747: cannot remove highlight from an existing sign ·