2021-07-15 - tools.notwikilambda
21:05	<wm-bot>	<lucaswerkmeister> updated pygments-server to 2d4ab81a68 (prevent open(); T286724)	[tools.notwikilambda]