Skip to content

Conversation

@yuhan0
Copy link

@yuhan0 yuhan0 commented Oct 30, 2019

First part of proposed changes in #53 (comment), adding graph metadata that does not affect hashing and equality

@yuhan0
Copy link
Author

yuhan0 commented Jan 7, 2020

Rebased onto master to resolve conflicts

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant