ArielGlenn has submitted this change and it was merged. Change subject: remove db1012 from dsh files, renamed (rt #4921) ......................................................................
remove db1012 from dsh files, renamed (rt #4921) Change-Id: I38986458ea4e81a4e4cefa5f658e972b63165a6d --- M files/dsh/group/db 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: ArielGlenn: Looks good to me, approved jenkins-bot: Verified diff --git a/files/dsh/group/db b/files/dsh/group/db index 1efc525..4473339 100644 --- a/files/dsh/group/db +++ b/files/dsh/group/db @@ -10,7 +10,6 @@ db1009 db1010 db1011 -db1012 db1013 db1014 db1015 -- To view, visit https://gerrit.wikimedia.org/r/93058 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I38986458ea4e81a4e4cefa5f658e972b63165a6d Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: ArielGlenn <[email protected]> Gerrit-Reviewer: ArielGlenn <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
