[MediaWiki-commits] [Gerrit] operations/puppet[production]: base::puppet: add ca_server setting when needed
Giuseppe Lavagetto has submitted this change and it was merged. Change subject: base::puppet: add ca_server setting when needed .. base::puppet: add ca_server setting when needed Change-Id: Ic072bff9aa147aa5b505eb1ef8b3d68454d3
[MediaWiki-commits] [Gerrit] operations/puppet[production]: base::puppet: add ca_server setting when needed
Giuseppe Lavagetto has uploaded a new change for review. https://gerrit.wikimedia.org/r/310497 Change subject: base::puppet: add ca_server setting when needed .. base::puppet: add ca_server setting when needed Change-Id: Ic07