Skip to content

Conversation

Symbolk
Copy link
Contributor

@Symbolk Symbolk commented Sep 25, 2018

Issue #109 resolved.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 55.603% when pulling f3855e4 on Symbolk:develop into bdd631b on GumTreeDiff:develop.

@monperrus
Copy link
Contributor

CI is OK. LGTM. @jrfaller merge?

@jrfaller
Copy link
Member

Yes I was trying to find a solution without having to read twice the text, I think it could be done by subclassing a reader, but I guess it is OK since it's not a big performance issue in our context ;). Merging.

@jrfaller jrfaller merged commit 2805c1b into GumTreeDiff:develop Nov 29, 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