Skip to content

Conversation

coder-chenzhi
Copy link

You have homogenized all property names in this commit. However, you forget to apply the change to the command line properties parsing code, thus all properties setting from command line can not take effect.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 55.617% when pulling d77ae15 on coder-chenzhi:bugfix into 77a6f8e on GumTreeDiff:develop.

@jrfaller
Copy link
Member

jrfaller commented Apr 9, 2018

Indeed :)

Thanks for the PR!

@jrfaller jrfaller merged commit c4ee303 into GumTreeDiff:develop Apr 9, 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.

4 participants