[MediaWiki-commits] [Gerrit] operations...gerrit[master]: gerrit (2.13.3-wmf.1) jessie-wikimedia; urgency=low

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

2016-11-25 Thread Chad (Code Review)
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