[MediaWiki-commits] [Gerrit] operations...puppet-compiler[master]: Remove templatedir from puppet compilation options.

2017-08-08 Thread Giuseppe Lavagetto (Code Review)
Giuseppe Lavagetto has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/370624 ) Change subject: Remove templatedir from puppet compilation options. .. Remove templatedir from puppet compilation

[MediaWiki-commits] [Gerrit] operations...puppet-compiler[master]: Remove templatedir from puppet compilation options.

2017-08-08 Thread Giuseppe Lavagetto (Code Review)
Giuseppe Lavagetto has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/370624 ) Change subject: Remove templatedir from puppet compilation options. .. Remove templatedir from puppet compilation options.