Skip to content

Conversation

YuanruiZJU
Copy link

The two lines are duplcated, thus, removed.

The two lines are duplcated, thus, removed.
@coveralls
Copy link

Coverage Status

Coverage remained the same at 60.697% when pulling 3b5323a on YuanruiZJU:patch-2 into efc897f on GumTreeDiff:develop.

@jrfaller
Copy link
Member

jrfaller commented Apr 6, 2020

Hi!

Thanks for the pull request, I think it has been fixed in last commit, together with a cleaning-up of imports.

@jrfaller jrfaller closed this Apr 6, 2020
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.

3 participants