On Wed, Feb 5, 2020 at 3:30 PM Robert Haas <robertmhaas@gmail.com> wrote:
>
> On Tue, Feb 4, 2020 at 3:20 AM Michael Paquier <michael@paquier.xyz> wrote:
> > So.. We have:
> > +1: Vik, Ian, Daniel, Alvaro, Christoph
> > +-0: Tom (?), Fabien (?)
> > -1: Michael P.
>
> I'm not really against this change but, given how long it's been the
> way that it is, I think we shouldn't make it without more plus votes.
> If we've actually got a broad consensus on it, sure, but I don't think
> 4 votes is a broad consensus.
Here's another +1 for making the change.
//Magnus