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

Move setting branch number into init_lengths #47

Merged

e-koch merged 1 commit into master from num_branch_set

Oct 24, 2018

Owner

e-koch commented Oct 24, 2018

Fix for #46


          Move setting branch number into init_lengths

429187a

e-koch merged commit 033de9b into master

e-koch deleted the num_branch_set branch

October 24, 2018 04:18

e-koch mentioned this pull request

branch_properties key "number" exists? #46

Closed

coveralls commented Oct 24, 2018

Coverage decreased (-0.009%) to 71.859% when pulling 429187a on num_branch_set into 81b6012 on master.

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

Labels

None yet