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.

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

Small improvements #167

Merged
merged 5 commits into from
Jul 22, 2019
Merged

Small improvements #167

merged 5 commits into from
Jul 22, 2019

Conversation

moul
Copy link
Owner

@moul moul commented Jul 22, 2019

┆Issue is synchronized with this Trello card

@moul moul self-assigned this Jul 22, 2019
@moul moul changed the title Use Graphman Small improvements Jul 22, 2019
@moul-bot moul-bot force-pushed the dev/moul/use-graphman branch 2 times, most recently from d9d2224 to 5e52a75 Compare July 22, 2019 16:46
@moul-bot moul-bot force-pushed the dev/moul/use-graphman branch from 5e52a75 to d337910 Compare July 22, 2019 16:49
@moul moul merged commit 7296ce2 into master Jul 22, 2019
@moul moul deleted the dev/moul/use-graphman branch July 22, 2019 16:51
@trafico-bot trafico-bot bot added the ✨ Merged Pull Request has been merged successfully label Dec 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
✨ Merged Pull Request has been merged successfully
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant