v8.2.1716
b5cfff0b · patch 8.2.1716: options window has duplicate translations ·