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

API changes and minor fixes on top of #8 #14

Merged
merged 18 commits into from
Jul 18, 2017
Merged

API changes and minor fixes on top of #8 #14

merged 18 commits into from
Jul 18, 2017

Conversation

glaslos
Copy link
Owner

@glaslos glaslos commented Jul 14, 2017

Made a couple of adjustments to #8 and aligned to the API proposal.

@glaslos glaslos added this to the 0.2.0 Feature Complete milestone Jul 14, 2017
@coveralls
Copy link

coveralls commented Jul 14, 2017

Coverage Status

Coverage increased ( 1.8%) to 86.158% when pulling cdbb041 on api_changes into 4adda1c on master.

@coveralls
Copy link

coveralls commented Jul 16, 2017

Coverage Status

Coverage decreased (-0.02%) to 84.384% when pulling 9d821b6 on api_changes into 4adda1c on master.

@glaslos glaslos mentioned this pull request Jul 16, 2017
@coveralls
Copy link

coveralls commented Jul 16, 2017

Coverage Status

Coverage increased ( 3.0%) to 87.397% when pulling 416ee3d on api_changes into 4adda1c on master.

@coveralls
Copy link

coveralls commented Jul 16, 2017

Coverage Status

Coverage increased ( 6.2%) to 90.625% when pulling 47a2a3f on api_changes into 4adda1c on master.

@coveralls
Copy link

coveralls commented Jul 16, 2017

Coverage Status

Coverage increased ( 6.8%) to 91.243% when pulling da36316 on api_changes into 4adda1c on master.

@glaslos glaslos merged commit 61c0b37 into master Jul 18, 2017
@glaslos glaslos deleted the api_changes branch July 18, 2017 21:09
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.

3 participants