[12:54:58] [SemanticMediaWiki] Nasty opened pull request #2659: Removed long deprecated constant (master...master) https://git.io/v5BOc [18:03:30] [SemanticMediaWiki] JeroenDeDauw pushed 3 new commits to master: https://git.io/v5BN6 [18:03:30] SemanticMediaWiki/master 9abcd1d Nasty: Removed long deprecated constant... [18:03:30] SemanticMediaWiki/master 8734203 Nasty: Merge pull request #1 from Nasty/removed-long-deprecated... [18:03:30] SemanticMediaWiki/master d090d27 Jeroen De Dauw: Merge pull request #2659 from Nasty/master... [18:05:20] [SemanticMediaWiki] JeroenDeDauw pushed 1 new commit to master: https://git.io/v5BNH [18:05:20] SemanticMediaWiki/master 9c040ad Jeroen De Dauw: Update RELEASE-NOTES.md...