Giuseppe Lavagetto has submitted this change and it was merged. Change subject: dhcp: correct entry for mw2184 ......................................................................
dhcp: correct entry for mw2184 Change-Id: Id00579ba11d5b38395ab8e581a6b5d3e6558ced1 --- M modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Giuseppe Lavagetto: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200 b/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200 index 6662fd4..0940c95 100644 --- a/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200 +++ b/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200 @@ -5016,7 +5016,7 @@ } host mw2184 { - hardware ethernet B0:83:FE:DB:E6:7F; + hardware ethernet B0:83:FE:DE:FD:E5; fixed-address mw2184.codfw.wmnet; } -- To view, visit https://gerrit.wikimedia.org/r/198241 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id00579ba11d5b38395ab8e581a6b5d3e6558ced1 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits