Skip to content

Conversation

@chrisgraham
Copy link

You may want to cherry-pick this, as I did some automated code cleanup and manual code cleanup too -- and I see you have another pull request making bigger changes. I think the usability fixes are important though.

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.

1 participant