Skip to content
This repository has been archived by the owner on Jan 3, 2019. It is now read-only.

Final API #187

Merged
merged 7 commits into from
Apr 17, 2018
Merged

Final API #187

merged 7 commits into from
Apr 17, 2018

Conversation

clebert
Copy link
Owner

@clebert clebert commented Apr 16, 2018

No description provided.

@coveralls
Copy link

coveralls commented Apr 16, 2018

Coverage Status

Coverage remained the same at 100.0% when pulling 84f3f74 on final into 4520c09 on master.

@clebert clebert merged commit 14deb46 into master Apr 17, 2018
@clebert clebert deleted the final branch April 17, 2018 21:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants