Skip to content

Fix pinned tabs do not preserve when joining editor groups#100344

Merged
bpasero merged 1 commit intomicrosoft:masterfrom
jeanp413:fix-100303
Jun 17, 2020
Merged

Fix pinned tabs do not preserve when joining editor groups#100344
bpasero merged 1 commit intomicrosoft:masterfrom
jeanp413:fix-100303

Conversation

@jeanp413
Copy link
Contributor

This PR fixes #100303

@bpasero
Copy link
Member

bpasero commented Jun 17, 2020

Elegant 👍

@bpasero bpasero merged commit f98bf3c into microsoft:master Jun 17, 2020
@bpasero bpasero self-assigned this Jun 17, 2020
@bpasero bpasero added this to the June 2020 milestone Jun 17, 2020
@jeanp413 jeanp413 deleted the fix-100303 branch June 17, 2020 15:15
@github-actions github-actions bot locked and limited conversation to collaborators Aug 1, 2020
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.

Pinned tabs do not preserve when joining editor groups

2 participants