[OSSTEST PATCH] production-config: Use infra.t, not infra

[Ian Jackson <ian.jackson@xxxxxxxxxxxxx>]

This works better with some quirk of the networking we seem to now
have after the buster upgrade to the colo systems.

To avoid blocking on resolving that issue, change the the config.

Signed-off-by: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
---
 production-config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/production-config b/production-config
index b7b9a062..6055bd18 100644
--- a/production-config
+++ b/production-config
@@ -131,6 +131,7 @@ CoverityToolsStripComponents 1
 #DebianMirrorHost 10.80.16.196
 DebianMirrorProxy http://cache:3143/
 
+HostProp_DhcpWatchMethod leases dhcp3 infra.t:5556
 HostProp_NtpServer infra.test-lab.xenproject.org
 
 DebianPreseed= <<'END'
-- 
2.11.0