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