Merge branch 'master' of ssh://git.postgresql.org/pgopen2018
authorSarah Conway <[email protected]>
Tue, 24 Jul 2018 15:51:39 +0000 (08:51 -0700)
committerSarah Conway <[email protected]>
Tue, 24 Jul 2018 15:51:39 +0000 (08:51 -0700)

Trivial merge