[01:32:31] [SemanticMediaWiki] JeroenDeDauw pushed 5 new commits to master: http://git.io/zkdcTA [01:32:31] SemanticMediaWiki/master d378986 Translation updater bot: Localisation updates from https://translatewiki.net.... [01:32:31] SemanticMediaWiki/master b344455 Translation updater bot: Localisation updates from https://translatewiki.net.... [01:32:31] SemanticMediaWiki/master 4833ad1 Translation updater bot: Localisation updates from https://translatewiki.net.... [01:40:40] [SemanticResultFormats] JeroenDeDauw pushed 4 new commits to master: http://git.io/8GR9TQ [01:40:40] SemanticResultFormats/master d401f54 Translation updater bot: Localisation updates from https://translatewiki.net.... [01:40:40] SemanticResultFormats/master 0c09421 Translation updater bot: Localisation updates from https://translatewiki.net.... [01:40:40] SemanticResultFormats/master fde096d Translation updater bot: Localisation updates from https://translatewiki.net.... [10:07:52] howdy [11:40:51] [SemanticResultFormats] mkroetzsch created issue73 (+1 new commit): http://git.io/i4psWg [11:40:51] SemanticResultFormats/issue73 5f4d968 Markus Kroetzsch: Fixed issue #73 [11:41:26] [SemanticResultFormats] mkroetzsch opened pull request #74: Fixed issue #73 (master...issue73) http://git.io/hw-5Sw