Re: gnulib-tool.py: Prefer 'list.append(item)' over 'list += [item]'.

[Bruno Haible]

Hi Collin,

> >> Sounds good. What do you think about two patches to normalize the
> >> existing code with the conventions we've agreed upon:
> >>
> >>      1. Convert '+= [item]' to '.append(item)'
> > 
> 
> Patch 0001.
> 
> >>      2. Use single quotes for string literals.
> 
> Patch 0002.

Thanks, both patches applied.

What about GLEmiter.py line 468?

> Also I ran all the tests successfully with Python 3.7 + 3.12 just to
> make sure I didn't miss anything strange.

Good.

Bruno