Skip to content

Fix: Kill button for execute_command tool#6457

Merged
mrubens merged 2 commits intomainfrom
fix-kill-button-command-pid
Jul 31, 2025
Merged

Fix: Kill button for execute_command tool#6457
mrubens merged 2 commits intomainfrom
fix-kill-button-command-pid

Commits

Commits on Jul 31, 2025