v8.1.1065
47cf1cc2 · patch 8.1.1065: no test for using and deleting menu in the GUI ·