Completed
Pull Request — master (#211)
by no
06:10 queued 03:19
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.

No notable changes

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

9.85
▶   ± 0
Head
Jeroen De Dauw  
Merge e3287adf805539360f85c628c8aacb74873db649 into 495ec60bafc9f22188b6d4ec158fbc7628ab7ae9
3 more commits
Base
Jeroen De Dauw  
Merge pull request #209 from wmde/release230