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