tweak when for kill active terminal editor command#198338
Merged
meganrogge merged 1 commit intomainfrom Nov 15, 2023
Merged
Commits
Commits on Nov 15, 2023
- committed
when for kill active terminal editor command#198338