On Sun, Feb 9, 2020 at 7:45 PM Michael Paquier <mich...@paquier.xyz> wrote: > On Mon, Feb 10, 2020 at 12:16:44AM +0100, Vik Fearing wrote: > > There is a little bit of overlap within those three groups but among the > > minuscule percentage of our users that responded, the result is > > overwhelmingly in favor of this change. > > Thanks Vik for handling that. So, it seems to me that we have a > conclusion here. Any last words?
No objections here. I'm glad that we put in the effort to get more opinions, but I agree that an overall vote of ~58 to ~8 is a pretty strong consensus. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company