[MediaWiki-commits] [Gerrit] operations/puppet[production]: maps - tuning options not available before postgresql 9.5

Gehel has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/345843 ) Change subject: maps - tuning options not available before postgresql 9.5 .. maps - tuning options not available before postgresql

[MediaWiki-commits] [Gerrit] operations/puppet[production]: maps - tuning options not available before postgresql 9.5

Gehel has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/345843 ) Change subject: maps - tuning options not available before postgresql 9.5 .. maps - tuning options not available before postgresql 9.5