[14:41:37] [SemanticMediaWiki] JeroenDeDauw pushed 3 new commits to master: http://git.io/v4WD2 [14:41:37] SemanticMediaWiki/master 9bb5ae3 Translation updater bot: Localisation updates from https://translatewiki.net.... [14:41:37] SemanticMediaWiki/master 95ee1e8 Translation updater bot: Localisation updates from https://translatewiki.net.... [14:41:37] SemanticMediaWiki/master a629bf2 jeroendedauw: Merge branch 'master' of ssh://wmfgerrit/mediawiki/extensions/SemanticMediaWiki