[03:10:16] [SemanticMediaWiki] JeroenDeDauw pushed 1 new commit to master: https://git.io/vdY0x [03:10:16] SemanticMediaWiki/master 12ad935 Jeroen De Dauw: Merge pull request #2707 from SemanticMediaWiki/pr2588fu... [16:56:00] [SemanticMediaWiki] kghbln created issue-2709 from master (+0 new commits): https://git.io/vdOie [17:11:03] [SemanticMediaWiki] kghbln pushed 1 new commit to issue-2709: https://git.io/vdOPH [17:11:03] SemanticMediaWiki/issue-2709 4c383b1 Karsten Hoffmeyer: Update en.json [17:11:33] [SemanticMediaWiki] kghbln opened pull request #2711: Update en.json (master...issue-2709) https://git.io/vdOP5 [17:21:53] [SemanticResultFormats] kghbln created array-sm (+1 new commit): https://git.io/vdO1s [17:21:53] SemanticResultFormats/array-sm fa76778 Karsten Hoffmeyer: Update SRF_Array.php... [17:22:26] [SemanticResultFormats] kghbln opened pull request #307: Update SRF_Array.php (master...array-sm) https://git.io/vdO1n [17:27:13] [SemanticResultFormats] kghbln pushed 1 new commit to array-sm: https://git.io/vdO1A [17:27:13] SemanticResultFormats/array-sm 0e47df3 Karsten Hoffmeyer: Update SRF_Array.php