v8.0.1547
9c474b27 · patch 8.0.1547: undo in the options window makes it empty ·