Completed
Push — master ( 894ce2...bb53d1 )
by
unknown
05:13
created

Changes

1 new patch (Spacing) is available.
8.11
▶   ± 0
Head
jenkins-bot  
Merge "Work around CheckingResultsBuilder bug"
1 more commit
Base
Translation updater bot  
Localisation updates from https://translatewiki.net.