[09:15:40] [SemanticMediaWiki] JeroenDeDauw pushed 2 new commits to master: http://git.io/v86Dn [09:15:40] SemanticMediaWiki/master b0d0dfa Translation updater bot: Localisation updates from https://translatewiki.net.... [09:15:40] SemanticMediaWiki/master caffc9b jeroendedauw: Merge branch 'master' of ssh://wmfgerrit/mediawiki/extensions/SemanticMediaWiki