@Michael Gosselin
The best place to report those issues is the GitHub repository for the Server Manager extension. Also, any details you can give us would be great. Does a server already exist with that name in your user settings? Do you have a workspace open?
cc @John Murray
- Log in to post comments