2019-04-12 - production
09:07	<moritzm>	added the wikimedia repository key to the stretch build chroot on boron, fixes builds using the PHP72/SPICERACK hooks	[production]