From: Sarah Conway <sarah.conway@crunchydata.com>
Date: Tue, 24 Jul 2018 15:51:39 +0000 (-0700)
Subject: Merge branch 'master' of ssh://git.postgresql.org/pgopen2018
X-Git-Url: http://git.postgresql.org/gitweb/static/gitweb.js?a=commitdiff_plain;h=e4cce6b08ca56f85d365310c1cc934150d24f003;p=pgopen2018.git

Merge branch 'master' of ssh://git.postgresql.org/pgopen2018
---

e4cce6b08ca56f85d365310c1cc934150d24f003