Completed
Push — master ( 7b50af...c4a39f )
by Jeroen De
11:31 queued 11:02
created
9.18
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Jeroen De Dauw  
Merge pull request #710 from wmde/removeDuplicates
1 more commit
Base
Jeroen De Dauw  
Merge pull request #711 from wmde/indicesAreUpToDate