2018-07-18 - production
12:16	<moritzm>	installing PHP security updates on yubiauth servers	[production]