[02:46:11] <smw-github>	 [SemanticMediaWiki] JeroenDeDauw deleted php71 at f5ecc3b: https://git.io/vKOfd
[03:35:13] <smw-github>	 [SemanticMediaWiki] JeroenDeDauw created docs240 (+1 new commit): https://git.io/vKOTO
[03:35:13] <smw-github>	 SemanticMediaWiki/docs240 635c0ea jeroendedauw: Update docs with 2.4 release date...
[03:35:43] <smw-github>	 [SemanticMediaWiki] JeroenDeDauw opened pull request #1710: Update docs with 2.4 release date (master...docs240) https://git.io/vKOT3