2017-10-20 10:03:14 - Erich Bacher (@thePrevaricator WI, US) that that bot has been down since RIOT went down