Completed
Pull Request — master (#702)
by no
56:06 queued 40:20
created

Changes

9.16
▼   -0.02
Test Coverage
91%
▶ ±0%
Head
Jeroen De Dauw  
Merge fa3d0397d0be80a6554b69c748f2b7f4cbe75d5f into 7b50afacd6e50f3c22600cd97ec428212bfaf75c
1 more commit
Base
Jeroen De Dauw  
Merge pull request #711 from wmde/indicesAreUpToDate