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.

4 participants