[20:28:49] [SemanticMediaWiki] JeroenDeDauw pushed 1 new commit to master: https://github.com/SemanticMediaWiki/SemanticMediaWiki/commit/e043c72c0900a803a695f53eeab599a6c4e72516 [20:28:49] SemanticMediaWiki/master e043c72 Justin Du: Fix some typos...