Completed
Push — master ( 1de753...4f47be )
by
unknown
02:30
created

No notable changes

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

9.37
▶   ± 0
Head
jenkins-bot  
Merge "Adapt to changed Wikibase\Repo\Tests\… namespace"
1 more commit
Base
Umherirrender  
Add php-parallel-lint