Closed ghuntley closed 3 years ago
Merge when https://github.com/gitpod-io/workspace-images/pull/378 is merged.
Merge when https://github.com/gitpod-io/workspace-images/pull/378 is merged.