Skip to content

Fix chat welcome message tooltip - #213084

Merged
roblourens merged 1 commit into
mainfrom
roblou/prospective-warbler
May 20, 2024
Merged

roblourens merged 1 commit into
mainfrom
roblou/prospective-warbler

Conversation

@roblourens

Copy link
Copy Markdown
Member

No description provided.

@roblourens
roblourens merged commit d68eddc into main May 20, 2024
@roblourens
roblourens deleted the roblou/prospective-warbler branch May 20, 2024 18:20
mustard (mustard-mh) pushed a commit to gitpod-io/openvscode-server that referenced this pull request May 22, 2024
André Silva (andremmsilva) pushed a commit to PIC1G55/vscodeG55 that referenced this pull request May 26, 2024
@microsoft Microsoft (microsoft) locked and limited conversation to collaborators Jul 4, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants