Completed
Push — master ( 6a2058...4c88bd )
by
unknown
36s queued 15s
created

Changes

1 new patch (Spacing) is available.
???
Head
jenkins-bot  
Merge "Catch ShellboxError and ClientExceptions in FormatChecker"
1 more commit
Base
James D. Forrester  
build: Update MediaWiki requirement to 1.44