Skip to content

fix: Rename rich workspace to folder description#4885

Merged
juliusknorr merged 1 commit intomainfrom fix/2165Oct 20, 2023

Commits

Commits on Oct 19, 2023