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

Packages #927

Merged
merged 33 commits into from Oct 1, 2016
Merged

Packages #927

merged 33 commits into from Oct 1, 2016

Conversation

hawkrives
Copy link
Owner

This (probably) supersedes #859.

@hawkrives
Copy link
Owner Author

hawkrives commented Oct 1, 2016

KNOWN OLD BUGS (aka bugs not introduced by this PR):

@hawkrives
Copy link
Owner Author

hawkrives commented Oct 1, 2016

+10,999 lines
-882 lines

Hmm. I wonder what files I accidentally included?

@coveralls
Copy link

Coverage Status

Coverage increased (+0.6%) to 74.024% when pulling aa0d0a0 on packages into 5a68e85 on master.

@hawkrives
Copy link
Owner Author

hawkrives commented Oct 1, 2016

git says, 1224 files changed, 940 insertions(+), 956 deletions(-), which sounds much more in line with what I'd expect.

@coveralls
Copy link

Coverage Status

Coverage increased (+0.6%) to 74.024% when pulling 4ee65b1 on packages into 5a68e85 on master.

@hawkrives
Copy link
Owner Author

Whoo!

@hawkrives hawkrives merged commit feb7a50 into master Oct 1, 2016
@hawkrives hawkrives deleted the packages branch October 1, 2016 09:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants