Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix issue #40848 show extension tab if extension has previously been … #42071

Merged
merged 1 commit into from
Feb 9, 2018
Merged

fix issue #40848 show extension tab if extension has previously been … #42071

merged 1 commit into from
Feb 9, 2018

Conversation

nexes
Copy link
Contributor

@nexes nexes commented Jan 24, 2018

Fix issue #40848. If an extension is already installed, the extension page will display.

@joaomoreno joaomoreno added this to the Backlog milestone Jan 25, 2018
@joaomoreno joaomoreno added the extensions Issues concerning extensions label Jan 25, 2018
@joaomoreno
Copy link
Member

Thanks! 🍻

@joaomoreno joaomoreno merged commit e02cdc0 into microsoft:master Feb 9, 2018
@joaomoreno joaomoreno modified the milestones: Backlog, February 2018 Feb 9, 2018
@joaomoreno joaomoreno mentioned this pull request Feb 9, 2018
Closed
@github-actions github-actions bot locked and limited conversation to collaborators Mar 31, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@joaomoreno joaomoreno

Labels
extensions Issues concerning extensions
Projects
None yet
Milestone
February 2018
Development

Successfully merging this pull request may close these issues.
2 participants
@nexes @joaomoreno