Completed
Push — master ( 1148c3...9939d5 )
by
unknown
30s
created

No notable changes

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

???
Head
Translation updater bot  
Localisation updates from https://translatewiki.net.
2 more commits
Base
jenkins-bot  
Merge "Use best-rank statements in TypeCheckerHelper"