[MediaWiki-commits] [Gerrit] puppet3: correct resource title for removal - change (operations/puppet)

Giuseppe Lavagetto has submitted this change and it was merged. Change subject: puppet3: correct resource title for removal .. puppet3: correct resource title for removal Change-Id: I738e91e62ceee99f6dfcb629833ed216a59088a7 Sig

[MediaWiki-commits] [Gerrit] puppet3: correct resource title for removal - change (operations/puppet)

Giuseppe Lavagetto has uploaded a new change for review. https://gerrit.wikimedia.org/r/137893 Change subject: puppet3: correct resource title for removal .. puppet3: correct resource title for removal Change-Id: I738e91e62ce