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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Trivial code cleanup #74

Merged
merged 1 commit into from Oct 26, 2018
Merged

Trivial code cleanup #74

merged 1 commit into from Oct 26, 2018

Conversation

frenck
Copy link
Contributor

@frenck frenck commented Oct 26, 2018

Proposed Changes

Some trivial code changes (mainly sorting stuff). Little bit OCD 馃槈

Related Issues

n/a

@frenck frenck self-assigned this Oct 26, 2018
@frenck
Copy link
Contributor Author

frenck commented Oct 26, 2018

Seems like TravisCI is drunk. I'll continue on the merge.

@frenck frenck merged commit 1abca7b into master Oct 26, 2018
@frenck frenck deleted the ocd branch October 26, 2018 12:47
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