[MediaWiki-commits] [Gerrit] operations/puppet[production]: gerrit: Fix up for the logo

2017-09-12 Thread Filippo Giunchedi (Code Review)
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

2017-09-12 Thread Ladsgroup (Code Review)
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