2020-12-11 - tools
11:20	<dcaro>	upgrading stretch-wikimedia/thirdparty/mono-project-stretch (clinic duty)	[tools]