v8.1.1138
d7f246c6 · patch 8.1.1138: plugins don't get notified when the popup menu changes ·