[07:01:17] [SemanticMaps] JeroenDeDauw closed pull request #90: fix bug where ajax is always activated (master...ajax-default-deactivated) https://git.io/v6TYq [07:02:40] [SemanticMaps] JeroenDeDauw pushed 1 new commit to master: https://git.io/v6k42 [07:02:41] SemanticMaps/master 5f1a98c Jeroen De Dauw: Merge pull request #91 from SemanticMediaWiki/ajax-gm3-cluster... [07:03:30] [SemanticMaps] JeroenDeDauw pushed 1 new commit to master: https://git.io/v6k46 [07:03:30] SemanticMaps/master d555ee3 Jeroen De Dauw: Update RELEASE-NOTES.md [07:04:33] [SemanticMaps] JeroenDeDauw opened pull request #94: Update composer.json (master...JeroenDeDauw-patch-1) https://git.io/v6k45 [10:02:43] [SemanticMaps] PeterTheOne closed pull request #94: Update composer.json (master...JeroenDeDauw-patch-1) https://git.io/v6k45 [10:02:54] [SemanticMaps] PeterTheOne deleted JeroenDeDauw-patch-1 at e7b6c99: https://git.io/v6kPS