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

Misc smaller cleanup commits #14

Merged
merged 5 commits into from
Jul 9, 2017
Merged

Misc smaller cleanup commits #14

merged 5 commits into from
Jul 9, 2017

Conversation

birkenfeld
Copy link
Collaborator

No description provided.

@tcr
Copy link
Owner

tcr commented Jul 9, 2017

I'd let #12 merge first, but each of these refactors looks like the right approach. For bulk changes like this, I'm good with reviewing them as part of one PR.

@birkenfeld birkenfeld merged commit 276127f into tcr:master Jul 9, 2017
@birkenfeld birkenfeld deleted the cleanup branch July 9, 2017 08:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants