Skip to content
This repository has been archived by the owner on Aug 19, 2022. It is now read-only.

Release v0.13.0 #196

Merged
merged 1 commit into from
Jun 7, 2015
Merged

Release v0.13.0 #196

merged 1 commit into from
Jun 7, 2015

Conversation

ianobermiller
Copy link
Contributor

No description provided.

@alexlande
Copy link
Contributor

:shipit:

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling d98bd7e on v0.13.0 into 5c8eaa6 on master.

ianobermiller added a commit that referenced this pull request Jun 7, 2015
@ianobermiller ianobermiller merged commit 7419283 into master Jun 7, 2015
@ianobermiller ianobermiller deleted the v0.13.0 branch June 12, 2015 05:21
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.

3 participants