Passed
Push — dev ( 98f73e...b5a857 )
by Stephan
02:24
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.5
▶   ± 0
Head
Stephan Günther  
Comment out currently defunct badges
Base
Stephan Günther  
Fix badges to point to "dev" instead of "master"