2020-08-25 - production
10:23	<moritzm>	removed fermium.wikimedia.org from debmonitor	[production]