Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: dhcp: correct entry for mw2195
......................................................................
dhcp: correct entry for mw2195
Change-Id: I1dcc4411bd2dc25e30d74e664cd6fcddcc0b4fcc
---
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 0940c95..63a26fc 100644
--- a/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200
+++ b/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200
@@ -5072,7 +5072,7 @@
host mw2195 {
hardware ethernet B0:83:FE:DF:0E:27;
- fixed-address mw21995.codfw.wmnet;
+ fixed-address mw2195.codfw.wmnet;
}
host mw2196 {
--
To view, visit https://gerrit.wikimedia.org/r/198244
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1dcc4411bd2dc25e30d74e664cd6fcddcc0b4fcc
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
