v9.0.0720
0c502d2e · patch 9.0.0720: MS-Windows GUI may have pixel dust from antialiasing ·