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

#154 Vertices #157

Merged

rultor merged 1 commit into master from vertex

Mar 26, 2018

Owner

vssekorin commented Mar 26, 2018

As per #154
Vertices introduced.


          #154 Vertices

462310c

Owner Author

vssekorin commented Mar 26, 2018

Collaborator

rultor commented Mar 26, 2018

@rultor merge

@vssekorin OK, I'll try to merge now. You can check the progress of the merge here

rultor merged commit 462310c into master

Collaborator

rultor commented Mar 26, 2018

@rultor merge

@vssekorin Done! FYI, the full log is here (took me 15min)

vssekorin deleted the vertex branch

March 26, 2018 20:14

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