[MediaWiki-commits] [Gerrit] operations...gerrit[master]: gerrit (2.13.3-wmf.1) jessie-wikimedia; urgency=low
Filippo Giunchedi has submitted this change and it was merged. Change subject: gerrit (2.13.3-wmf.1) jessie-wikimedia; urgency=low .. gerrit (2.13.3-wmf.1) jessie-wikimedia; urgency=low * Update gerrit core + all core
[MediaWiki-commits] [Gerrit] operations...gerrit[master]: gerrit (2.13.3-wmf.1) jessie-wikimedia; urgency=low
Chad has uploaded a new change for review. https://gerrit.wikimedia.org/r/323545 Change subject: gerrit (2.13.3-wmf.1) jessie-wikimedia; urgency=low .. gerrit (2.13.3-wmf.1) jessie-wikimedia; urgency=low * Update gerrit