[00:16:58] [SemanticMaps] JeroenDeDauw pushed 1 new commit to master: https://git.io/v6pfO [00:16:58] SemanticMaps/master cebfe96 Jeroen De Dauw: Merge pull request #103 from SemanticMediaWiki/ajax-compoundquery...