On Mon, Apr 27, 2020 at 2:07 PM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> > I'd lean mildly to holding 0002 until after we branch. It probably
> > won't break anything, but it probably won't fix anything either.
>
> True.
Committed now.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company