[MediaWiki-commits] [Gerrit] mediawiki...vendor[master]: Remove Stomp, update other libs

2017-01-23 Thread Ejegg (Code Review)
Ejegg has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333818 ) Change subject: Remove Stomp, update other libs .. Remove Stomp, update other libs Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...vendor[master]: Remove Stomp, update other libs

2017-01-23 Thread Ejegg (Code Review)
Ejegg has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/333818 ) Change subject: Remove Stomp, update other libs .. Remove Stomp, update other libs Change-Id: Ia7fa9eef072e095a33d0d46ed2cd6c19e66dac53 ---