Passed
Push — master ( 0bfde5...fceb49 )
by Amir
44s 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 #238 from wmde/no-isset
1 more commit
Base
Amir Sarabadani  
Merge pull request #237 from wmde/termtypes