On Wed, Feb 5, 2020 at 3:30 PM Robert Haas <robertmh...@gmail.com> wrote: > > On Tue, Feb 4, 2020 at 3:20 AM Michael Paquier <mich...@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
