[08:51:56] <smw-github>	 [SemanticMaps] JeroenDeDauw pushed 1 new commit to tidy: https://git.io/voyJt
[08:51:56] <smw-github>	 SemanticMaps/tidy 11397e1 Jeroen De Dauw: Update bootstrap.php
[08:54:32] <smw-github>	 [SemanticMaps] JeroenDeDauw pushed 1 new commit to tidy: https://git.io/voyJW
[08:54:32] <smw-github>	 SemanticMaps/tidy e9f81c7 Jeroen De Dauw: Updated link to setting file in INSTALL