GitLab

(menubar_selection_callback): Free menu strings before pushing the
menu event into the keyboard buffer.  Remove menu_command_in_progress.