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.
regards
--
Tomas Vondra
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company