2020-11-25 - production
09:54	<moritzm>	uploaded krb5 1.12.1+dfsg-19+deb8u5+wmf1 to apt.wikimedia.org	[production]