2021-09-25 - tools.notwikilambda
16:37 <wm-bot> <lucaswerkmeister> switched pygments-server from web to base image (25f8a10fa0) [tools.notwikilambda]