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

Rejuvenate log levels is not a refactoring #158

Open
khatchad opened this issue Mar 14, 2019 · 0 comments
Open

Rejuvenate log levels is not a refactoring #158

khatchad opened this issue Mar 14, 2019 · 0 comments
Assignees
@yiming-tang-cs
Labels
bug Something isn't working ui User Interface
Milestone
Tool demo

Comments

@khatchad
Copy link
Member

It should not be part of of the refactoring menu. It should, instead, most likely be part of the "source" menu.
@khatchad khatchad added bug Something isn't working ui User Interface labels Mar 14, 2019
@khatchad khatchad added this to the Tool demo milestone Apr 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yiming-tang-cs yiming-tang-cs

Labels
bug Something isn't working ui User Interface
Projects
None yet
Milestone
Tool demo
Development

No branches or pull requests
2 participants
@khatchad @yiming-tang-cs