Skip to content
This repository has been archived by the owner on Feb 9, 2021. It is now read-only.

Sweep #145

Merged
merged 3 commits into from
Apr 27, 2016
Merged

Sweep #145

merged 3 commits into from
Apr 27, 2016

Conversation

jmwright
Copy link
Collaborator

The implementation of this operation seems pretty solid, but I welcome corrections and improvements, as always.

Tagging @dcowden to make sure he sees this.

@coveralls
Copy link

Coverage Status

Coverage increased (+0.4%) to 85.504% when pulling 02dd0f2 on sweep into 7f29a14 on master.

@dcowden dcowden merged commit 37cf193 into master Apr 27, 2016
@jmwright jmwright deleted the sweep branch October 17, 2016 11:43
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