Merge branch 'master' of github.com:PGPerfFarm/pgperffarm master
authorMark Wong <mark@2ndQuadrant.com>
Wed, 29 May 2019 17:18:00 +0000 (17:18 +0000)
committerMark Wong <mark@2ndQuadrant.com>
Wed, 29 May 2019 17:18:00 +0000 (17:18 +0000)

Trivial merge