2020-12-11 - tools
11:08	<dcaro>	upgrade stretch-wikimedia/component/php72 (minor upgrades) (clinic duty)	[tools]