[MediaWiki-commits] [Gerrit] operations/puppet[production]: gerrit: Fix up for the logo
Filippo Giunchedi has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/377499 ) Change subject: gerrit: Fix up for the logo .. gerrit: Fix up for the logo Change-Id:
[MediaWiki-commits] [Gerrit] operations/puppet[production]: gerrit: Fix up for the logo
Ladsgroup has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/377499 ) Change subject: gerrit: Fix up for the logo .. gerrit: Fix up for the logo Change-Id: I8a15467c657058dffd26df8a743e47ee8cfb9ad8 --- M