v8.0.1425
20951482 · patch 8.0.1425: execute() does not work in completion of user command ·