[MediaWiki-commits] [Gerrit] mailman: script to remove user from private lists - change (operations/puppet)
Dzahn has submitted this change and it was merged. Change subject: mailman: script to remove user from private lists .. mailman: script to remove user from private lists This is a script to help with tasks that ask to remove a
[MediaWiki-commits] [Gerrit] mailman: script to remove user from private lists - change (operations/puppet)
Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/212235 Change subject: mailman: script to remove user from private lists .. mailman: script to remove user from private lists Change-Id: Ia206c6a1282a