v8.2.4913
27724251 · patch 8.2.4913: popup_hide() does not always have effect ·