[10:38:00] (PS1) Amire80: Fix spacing and punctuation in English i18n messages [extensions/SemanticMediaWiki] - https://gerrit.wikimedia.org/r/228225 [16:08:20] hmm.. [16:08:28] is this channel dead? [18:58:20] [SemanticMediaWiki] JeroenDeDauw pushed 2 new commits to master: http://git.io/vOtry [18:58:20] SemanticMediaWiki/master 9359106 Translation updater bot: Localisation updates from https://translatewiki.net.... [18:58:20] SemanticMediaWiki/master 3a50aa4 jeroendedauw: Merge branch 'master' of ssh://wmfgerrit/mediawiki/extensions/SemanticMediaWiki [19:24:37] (PS2) Jeroen De Dauw: Fix spacing and punctuation in English i18n messages [extensions/SemanticMediaWiki] - https://gerrit.wikimedia.org/r/228225 (owner: Amire80) [19:26:01] (CR) Jeroen De Dauw: [C: 2] "Thanks!" [extensions/SemanticMediaWiki] - https://gerrit.wikimedia.org/r/228225 (owner: Amire80) [19:26:44] [SemanticMediaWiki] JeroenDeDauw pushed 1 new commit to master: http://git.io/vOt7H [19:26:44] SemanticMediaWiki/master ef5c4eb Amir E. Aharoni: Fix spacing and punctuation in English i18n messages... [19:29:58] (CR) Jeroen De Dauw: [C: -2] "Thanks a lot for the patch Mark. And apologies for the late reply, I just saw it now." [extensions/SemanticResultFormats] - https://gerrit.wikimedia.org/r/221159 (owner: MarkAHershberger) [19:53:13] [SemanticResultFormats] JeroenDeDauw pushed 3 new commits to master: http://git.io/vOqv0 [19:53:13] SemanticResultFormats/master 925b8f1 Translation updater bot: Localisation updates from https://translatewiki.net.... [19:53:13] SemanticResultFormats/master e198bfb Translation updater bot: Localisation updates from https://translatewiki.net.... [19:53:13] SemanticResultFormats/master 5a80c7d jeroendedauw: Merge branch 'master' of ssh://wmfgerrit/mediawiki/extensions/SemanticResultFormats