2018-10-31 - tools
13:15	<addshore>	removing Jonas Kress (WMDE) from tools project, no longer with wmde	[tools]