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

Tag icon-themes with tag icon-theme #11669

Closed
aeschli opened this issue Sep 8, 2016 · 1 comment
Closed

Tag icon-themes with tag icon-theme #11669

aeschli opened this issue Sep 8, 2016 · 1 comment
Labels
important Issue identified as high-priority
Milestone
August 2016

Comments

@aeschli
Copy link
Contributor

aeschli commented Sep 8, 2016

We want to be able to differentiate in our queries between icon-themes and color-themes only. Themes can be both, so they should be tagged with both.
@egamma egamma added the candidate Issue identified as probable candidate for fixing in the next release label Sep 8, 2016
aeschli added a commit that referenced this issue Sep 8, 2016
@aeschli
[themes] search for tag:icon-themes (for #11669)
68c197a
@egamma egamma added this to the August 2016 milestone Sep 8, 2016
@egamma egamma added important Issue identified as high-priority and removed candidate Issue identified as probable candidate for fixing in the next release labels Sep 8, 2016
aeschli added a commit that referenced this issue Sep 8, 2016
@aeschli
[themes] search for tag:icon-themes (for #11669)
24f3543
@aeschli
Copy link
Contributor Author

aeschli commented Sep 8, 2016

Also pushed to release/1.5.
@dbaeumer Ready to build!

@aeschli aeschli closed this as completed Sep 8, 2016
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
important Issue identified as high-priority
Projects
None yet
Milestone
August 2016
Development

No branches or pull requests
2 participants
@egamma @aeschli