Skip to content

plugins: Run deinit() on exit() of micro - #4231

Merged
JoeKar merged 2 commits into
micro-editor:masterfrom
JoeKar:feature/plugin-deinit
Sep 20, 2026
Merged

plugins: Run deinit() on exit() of micro#4231
JoeKar merged 2 commits into
micro-editor:masterfrom
JoeKar:feature/plugin-deinit

micro: Run plugin's `deinit()` on `exit()`

2e76eb4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test (1.23.x, windows-latest)
succeeded Sep 17, 2026 in 1m 50s