2018-08-13 - production
12:24	<moritzm>	uploaded hhvm-wikidiff2 1.7.2 to apt.wikimedia.org (source package name is still php-wikidiff2 for historical reasons) (T199801)	[production]