Completed
Pull Request — master (#205)
by Marius
02:45 queued 20s
created

Configuration has changed

The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.

9.85
▼   -0.02
Head
Marius Hoch  
Merge 6242178a415538e060ddd856d25aa070b521bc45 into 160fcf37f42c29605aab7f9ea9bb62cc57b5bf32
1 more commit
Base
Jeroen De Dauw  
Merge pull request #204 from wmde/typeSafetyDocs