2023-04-05 - tools.wd-shex-infer
19:27	<wm-bot>	<lucaswerkmeister> updated ToolsDB domain name in config.yaml	[tools.wd-shex-infer]