[MediaWiki-commits] [Gerrit] operations/puppet[production]: Add library hint for libxv

2017-12-20 Thread Muehlenhoff (Code Review)
Muehlenhoff has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/399227 ) Change subject: Add library hint for libxv .. Add library hint for libxv Change-Id: I1d10f7697cb02d83d5d2a59d667c801a9abee58d

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Add library hint for libxv

2017-12-19 Thread Muehlenhoff (Code Review)
Muehlenhoff has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/399227 ) Change subject: Add library hint for libxv .. Add library hint for libxv Change-Id: I1d10f7697cb02d83d5d2a59d667c801a9abee58d --- M