[MediaWiki-commits] [Gerrit] operations/puppet[production]: Remove obsolete file misc/scripts/pcntl

2016-12-06 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. Change subject: Remove obsolete file misc/scripts/pcntl .. Remove obsolete file misc/scripts/pcntl The file was added by 7fc4596035d41fabbbfb852e62b75286f03ee424. It is

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Remove obsolete file misc/scripts/pcntl

2016-12-06 Thread Tim Landscheidt (Code Review)
Tim Landscheidt has uploaded a new change for review. https://gerrit.wikimedia.org/r/325587 Change subject: Remove obsolete file misc/scripts/pcntl .. Remove obsolete file misc/scripts/pcntl The file was added by