Skip to content

use new api for server_type and workspace services#152

Merged
uclaros merged 1 commit intoworkspacesfrom
config-server-type
Dec 22, 2022
Merged

use new api for server_type and workspace services#152
uclaros merged 1 commit intoworkspacesfrom
config-server-type

Conversation

@uclaros
Copy link
Copy Markdown
Contributor

@uclaros uclaros commented Dec 7, 2022

No description provided.

@uclaros uclaros force-pushed the config-server-type branch from 9742722 to dcf4816 Compare December 7, 2022 13:19
@uclaros uclaros merged commit eba6624 into workspaces Dec 22, 2022
@alexbruy alexbruy deleted the config-server-type branch February 3, 2023 08:43
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