2019-08-22 - production
06:52	<moritzm>	installing mariadb-10.1 updates from Stretch 9.9 point release (unrelated to wmf-mariadb, mostly client-side clients/libraries as shipped in Debian)	[production]