[MediaWiki-commits] [Gerrit] admin: add user account for David Strine - change (operations/puppet)

Dzahn has submitted this change and it was merged. Change subject: admin: add user account for David Strine .. admin: add user account for David Strine Adds a user account for David Strine (dstrine), key is from the ticket past

[MediaWiki-commits] [Gerrit] admin: add user account for David Strine - change (operations/puppet)

Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/287114 Change subject: admin: add user account for David Strine .. admin: add user account for David Strine Adds a user account for David Strine (dstr