Completed
Push — master ( 59442d...b57421 )
by
unknown
01:18 queued 12s
created

Changes

1 new patch (Spacing) is available.
???
Head
jenkins-bot  
Merge "Use best-rank statements in TypeCheckerHelper"
1 more commit
Base
Translation updater bot  
Localisation updates from https://translatewiki.net.