On Wed, 2 Dec 2020 at 16:34, Tomas Vondra <tomas.von...@enterprisedb.com> wrote:
>
> On 12/2/20 4:51 PM, Dean Rasheed wrote:
> >
> > Barring any further comments, I'll push this sometime soon.
>
> +1
>

Pushed.

Regards,
Dean


Reply via email to