On Thu, Sep 15, 2022 at 04:43:19PM +0100, Jason McIntyre wrote: > On Thu, Sep 15, 2022 at 04:41:57PM +0200, Jan Stary wrote: > > I believe this reads a little bit better. > > > > Jan > > > > i agree, but i'd leave those commas in. > jmc >
i went ahead and committed your diff, with commas. jmc