Closed zurk closed 5 years ago
Closes https://github.com/src-d/identity-matching/issues/49
I have to merge as-is and edit afterwards. The original branch cannot be found.
Closes https://github.com/src-d/identity-matching/issues/49