Passed
Push — master ( 6d7b08...10db9b )
by Jeroen De
52s
created
9.42
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Jeroen De Dauw  
Merge pull request #789 from wmde/termlist
3 more commits
Base
Jeroen De Dauw  
Rename add to addAll