Completed
Pull Request — master (#748)
by no
06:59 queued 03:31
created

Changes

8 issues (8 minor) were introduced.
8 issues were fixed.
9.17
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Thiemo Mättig  
Merge cf2baeeaf0cb25a034b0b89cdb796bb6f51a9fce into e948220e180e9b3dc600aad6654366b0d383d80b
9 more commits
Base
Leszek Manicki  
Merge pull request #742 from wmde/fixDocLink