[MediaWiki-commits] [Gerrit] operations/puppet[production]: Update path of exporter jar to currently deployed version

2017-02-09 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/336831 ) Change subject: Update path of exporter jar to currently deployed version .. Update path of exporter jar to currently depl

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Update path of exporter jar to currently deployed version

2017-02-09 Thread Eevans (Code Review)
Eevans has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/336831 ) Change subject: Update path of exporter jar to currently deployed version .. Update path of exporter jar to currently deployed version Bug: