[MediaWiki-commits] [Gerrit] Wikitech -- use Header set instead of Header append - change (operations/puppet)

Dzahn has submitted this change and it was merged. Change subject: Wikitech -- use Header set instead of Header append .. Wikitech -- use Header set instead of Header append Per I3f317856 and I3b28b725, the consensus is to use

[MediaWiki-commits] [Gerrit] Wikitech -- use Header set instead of Header append - change (operations/puppet)

Chmarkine has uploaded a new change for review. https://gerrit.wikimedia.org/r/149626 Change subject: Wikitech -- use Header set instead of Header append .. Wikitech -- use Header set instead of Header append Per I3f317856