2022-07-05 - releng
14:17	<dwalden>	restarted mathoid service on deployment-docker-mathoid01	[releng]