[MediaWiki-commits] [Gerrit] rfaulk is no longer with company - change (operations/puppet)

Lcarr has submitted this change and it was merged. Change subject: rfaulk is no longer with company .. rfaulk is no longer with company Change-Id: Id44b905502f7aa39c05f2b927e3b421af82ef09a --- M manifests/admins.pp 1 file chang

[MediaWiki-commits] [Gerrit] rfaulk is no longer with company - change (operations/puppet)

Lcarr has uploaded a new change for review. https://gerrit.wikimedia.org/r/60674 Change subject: rfaulk is no longer with company .. rfaulk is no longer with company Change-Id: Id44b905502f7aa39c05f2b927e3b421af82ef09a --- M