New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

refresh after deleting nodes #1

Open

remstef opened this issue Oct 17, 2017 · 0 comments

Assignees

Labels

bug

Member

remstef commented Oct 17, 2017

No description provided.

remstef added the bug label

remstef assigned bigabig

bigabig pushed a commit that referenced this issue


          fixed issues #1, #2, #3

e3e384f

# for free to join this conversation on GitHub. Already have an account? # to comment