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.