Completed
Push — master ( 96c06f...9c1da6 )
by
unknown
04:02 queued 02:33
created

No notable changes

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

???
Head
jenkins-bot  
Merge "Simplify DefaultConfig return type"
1 more commit
Base
libraryupgrader  
build: Updating mediawiki/mediawiki-phan-config to 0.15.0