Completed
Pull Request — master (#702)
by no
05:42 queued 02:49
created
9.18
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Jeroen De Dauw  
Merge ce1b72ce2b4908a9d6a690a2f226600ddca59b7a into d6a55f2bd7fa75695af0f03876eb50b5379d9256
1 more commit
Base
Leszek Manicki  
Merge pull request #721 from wmde/noDocs