Skip to content

fix: use new workspace reload command#36

Merged
mrcjkb merged 2 commits intomrcjkb:masterfrom eero-lehtinen:fix-reload-workspaceOct 31, 2023

Commits

Commits on Oct 31, 2023