Em sáb., 30 de dez. de 2023 19:19, Tomas Vondra < tomas.von...@enterprisedb.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