Skip to content
This repository was archived by the owner on Sep 8, 2020. It is now read-only.

Merge V0.15.x dev #489

Merged
merged 4 commits into from
Oct 15, 2016
Merged

Merge V0.15.x dev #489

merged 4 commits into from
Oct 15, 2016

Conversation

thgreasi
Copy link
Contributor

@thgreasi thgreasi commented Oct 15, 2016

Closes #465

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 5c068f2 on v0.15.x-dev into 4bb4493 on master.

@thgreasi thgreasi merged commit 9b32531 into master Oct 15, 2016
@thgreasi thgreasi deleted the v0.15.x-dev branch October 15, 2016 13:52
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.

2 participants