[MediaWiki-commits] [Gerrit] Tools: Remove grid host alias for deleted instance - change (operations/puppet)

2015-07-23 Thread Yuvipanda (Code Review)
Yuvipanda has submitted this change and it was merged. Change subject: Tools: Remove grid host alias for deleted instance .. Tools: Remove grid host alias for deleted instance Bug: T104919 Change-Id: If0072fdfcd759deec4f5130669

[MediaWiki-commits] [Gerrit] Tools: Remove grid host alias for deleted instance - change (operations/puppet)

2015-07-23 Thread Tim Landscheidt (Code Review)
Tim Landscheidt has uploaded a new change for review. https://gerrit.wikimedia.org/r/226546 Change subject: Tools: Remove grid host alias for deleted instance .. Tools: Remove grid host alias for deleted instance Bug: T104919