Skip to content

All features from https://github.com/HarutoHiroki/PublicGraphTool, now compatible with squiglink#3

Open
HarutoHiroki wants to merge 1 commit intosquiglink:haruto-mergefrom
HarutoHiroki:main
Open

All features from https://github.com/HarutoHiroki/PublicGraphTool, now compatible with squiglink#3
HarutoHiroki wants to merge 1 commit intosquiglink:haruto-mergefrom
HarutoHiroki:main

Conversation

@HarutoHiroki
Copy link

All changes are documented in README.md and for existing users, the instructions are in MIGRATING.md. Fixed merge conflicts

@HarutoHiroki
Copy link
Author

merge conflicts happened because I didn't pull the latest devicePEQ changes, oops 👍

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