Skip to content

added code to allow renaming workspaces

Carsten Burgard requested to merge allow-rename into master

Merge request reports