Completed
Push — master ( 7247aa...c0676d )
by
unknown
03:08
created
9.78
▼   -0.05
Test Coverage
89%
▶ ±0%
Head
Jonas Kress  
Merge pull request #141 from wmde/statementPatcherPatch
1 more commit
Base
Bene  
Split FingerprintPatcher into TermListPatcher and AliasGroupListPatcher (#125)