Skip to content

Conversation

@Lixire
Copy link
Contributor

@Lixire Lixire commented Aug 8, 2017

No description provided.

@Lixire Lixire added terminal General terminal issues that don't fall under another label quick-pick Quick-pick widget issues labels Aug 8, 2017
@Lixire Lixire added this to the August 2017 milestone Aug 8, 2017
@Lixire Lixire requested a review from roblourens August 8, 2017 21:56
@roblourens roblourens merged commit 3e87f18 into master Aug 8, 2017
@Lixire Lixire mentioned this pull request Aug 10, 2017
6 tasks
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

quick-pick Quick-pick widget issues terminal General terminal issues that don't fall under another label

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants