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

Cleanups #55

Merged
merged 2 commits into from Apr 9, 2015
Merged

Cleanups #55

merged 2 commits into from Apr 9, 2015

Conversation

frerich
Copy link
Contributor

@frerich frerich commented Apr 8, 2015

hlint suggested various improvements to the code, two of which seemed particularly plausible to me. These two commits clean things up a little bit.

Frerich Raabe added 2 commits April 9, 2015 00:57
hlint suggested that this extension is unused, so we may as well remove
it.
Pointed out by hlint.
aristidb added a commit that referenced this pull request Apr 9, 2015
@aristidb aristidb merged commit d6ec4df into aristidb:master Apr 9, 2015
@frerich frerich deleted the cleanups branch April 9, 2015 18:23
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.

None yet

2 participants