Skip to content

Allows IWorkspace instances to be renamed.#190

Merged
josteink merged 2 commits into
workspacer:masterfrom
dalyIsaac:rename-workspace
Feb 21, 2021
Merged

Allows IWorkspace instances to be renamed.#190
josteink merged 2 commits into
workspacer:masterfrom
dalyIsaac:rename-workspace

Conversation

@dalyIsaac
Copy link
Copy Markdown
Member

No description provided.

@josteink
Copy link
Copy Markdown
Member

Looks OK to me. Any possible unintended consequences?

@dalyIsaac
Copy link
Copy Markdown
Member Author

I've had a look, and I don't think there's any side effects.

@josteink josteink merged commit d9da742 into workspacer:master Feb 21, 2021
@josteink
Copy link
Copy Markdown
Member

Consider it merged then 😁

@dalyIsaac dalyIsaac deleted the rename-workspace branch February 23, 2021 01:33
@dalyIsaac dalyIsaac added this to the 0.9.11 milestone Jun 29, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants