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

Cleanup of configuration object #1101

Merged
merged 1 commit into from
Jun 15, 2018
Merged

Cleanup of configuration object #1101

merged 1 commit into from
Jun 15, 2018

Conversation

justin808
Copy link
Member

@justin808 justin808 commented Jun 15, 2018

Misc doc updates and other cleanups.

Review comments are in #1093.


This change is Reviewable

Misc doc updates and other cleanup
@coveralls
Copy link

coveralls commented Jun 15, 2018

Coverage Status

Coverage remained the same at ?% when pulling a1b29bb on junk into aaef7c0 on master.

@justin808 justin808 merged commit 1605b40 into master Jun 15, 2018
@justin808 justin808 deleted the junk branch June 15, 2018 06:47
This was referenced Jun 15, 2018
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