On 2020-May-23, Michael Paquier wrote: > On Thu, May 21, 2020 at 09:32:55AM +0900, Michael Paquier wrote: > > Thanks for the input, Robert. So, even if we are post-beta1 it looks > > like there are more upsides than downsides to get that stuff done > > sooner than later. I propose to get that applied in the next couple > > of days, please let me know if there are any objections. > > Hearing nothing, done. Thanks all for the discussion.
Thanks! -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services