Passed
Push — master ( a183ea...d7cf12 )
by Amir
45s queued 11s
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.94
▶   ± 0
Test Coverage
89%
▶ ±0%
Head
Amir Sarabadani  
Merge pull request #235 from wmde/rel510
1 more commit
Base
Amir Sarabadani  
Merge pull request #234 from wmde/addTermStore