On 5/19/20 4:36 AM, Michael Paquier wrote:
> On Mon, May 18, 2020 at 07:30:32PM -0400, Alvaro Herrera wrote:
>> Done. Thanks!
>
> This has been committed just after beta1 has been stamped. So it
> means that it won't be included in it, right?
Correct.
I don't know why there was a delay, but it also doesn't bother me.
--
Vik Fearing