2022-06-03 - tools.notwikilambda
19:23	<wm-bot>	<lucaswerkmeister> updated pygments-server to f2c760810b (minor bugfix in pygmentize wrapper script)	[tools.notwikilambda]