Skip to content

refactor: rename NoRestartExplorer parameter to SkipExplorerRestart - #709

Merged
Raphire merged 1 commit into
masterfrom
rename-norestartexplorer
Jul 19, 2026
Merged

refactor: rename NoRestartExplorer parameter to SkipExplorerRestart#709
Raphire merged 1 commit into
masterfrom
rename-norestartexplorer

refactor: rename `NoRestartExplorer` parameter to `SkipExplorerRestart`

db25743
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar