On Fri, Apr 11, 2025 at 3:47 AM Robert Haas <[email protected]> wrote:
> I'd probably write the increments as ++ rather than += 1 but I'm not
> sure if everyone would agree.

I'm a fan of ++ as well, so I agree.

Thanks
Richard


Reply via email to