On Fri, Apr 11, 2025 at 3:47 AM Robert Haas <robertmh...@gmail.com> 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