2017-12-19 - releng
20:10	<RoanKattouw>	(Earlier today) Depooled deployment-db04, it needs fixing after replication broke badly. It's out of sync with deployment-db03, where I manually fixed inconsistencies	[releng]