Completed
Pull Request — master (#719)
by no
26:13 queued 13:12
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.19
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Thiemo Mättig  
Merge 3d89ac06148621b61b996c8430420033fde287f8 into d6a55f2bd7fa75695af0f03876eb50b5379d9256
1 more commit
Base
Leszek Manicki  
Merge pull request #721 from wmde/noDocs