v8.1.2415
04357fbb · patch 8.1.2415: popup menu flickers if an info popup is used ·