Em sáb., 30 de dez. de 2023 19:19, Tomas Vondra <
tomas(dot)vondra(at)enterprisedb(dot)com> escreveu:
> On 12/29/23 18:02, Ranier Vilela wrote:
> >
> > ...
> >
> > As I wrote, the new patch version was for consideration.
> > It seems more like a question of style, so it's better to remove it.
> >
> > Anyway +1 for your original patch.
> >
>
> I've pushed my original patch. Thanks for the report.
>
Thank you.
Best regards,
Ranier Vilela