Skip to content

/ media

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.

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

Use NodeID abstraction, return node ids #44

Closed
wants to merge 1 commit into from
Closed

Use NodeID abstraction, return node ids #44

wants to merge 1 commit into from

Conversation

@Manishearth
Copy link
Member

Manishearth commented Jun 6, 2018 •
edited

r? @ferjm
@Manishearth Manishearth requested a review from ferjm Jun 6, 2018
@Manishearth
Copy link
Member Author

Manishearth commented Jun 6, 2018

Just pushing this commit up early since it may change the shape of the API and I don't want conflicts. I'll push up more graph stuff later.
@Manishearth
Use NodeID abstraction, return node ids
b932b0d
@Manishearth Manishearth force-pushed the node_id branch from 906906d to b932b0d Jun 6, 2018
@Manishearth
Copy link
Member Author

Manishearth commented Jun 6, 2018

Superseded by #45
@ferjm
Copy link
Member

ferjm commented Jun 7, 2018

Closing this in favor of #45 then
@ferjm ferjm closed this Jun 7, 2018
@ferjm ferjm removed their request for review Jun 7, 2018
@ferjm ferjm deleted the node_id branch Jun 7, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
@Manishearth @ferjm
You can’t perform that action at this time.