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

Consider these for moving into the core if they are useful #205

Closed
todo bot opened this issue Nov 19, 2019 · 1 comment
Closed

Consider these for moving into the core if they are useful #205

todo bot opened this issue Nov 19, 2019 · 1 comment
Labels
todo 🗒️ Todo found in code Type: Feature Request For feature requests or modifications

Comments

@todo
Copy link

todo bot commented Nov 19, 2019

hal/src/gui/gui_utils/netlist.cpp

Lines 7 to 12 in 7f89304

// TODO Consider these for moving into the core if they are useful
#include <unordered_set>
namespace gui_utility
{

This issue was generated by todo based on a TODO comment in 7f89304 when #199 was merged. cc @emsec.
@todo todo bot added the todo 🗒️ Todo found in code label Nov 19, 2019
@issue-label-bot issue-label-bot bot added the Type: Feature Request For feature requests or modifications label Nov 19, 2019
@issue-label-bot
Copy link

Issue-Label Bot is automatically applying the label Type: Feature Request to this issue, with a confidence of 0.70. Please mark this comment with 👍 or 👎 to give our bot feedback!

Links: app homepage, dashboard and code for this bot.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
todo 🗒️ Todo found in code Type: Feature Request For feature requests or modifications
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@nils1603