On 2025-11-04 03:09 +0100, David Rowley wrote:
> On Tue, 4 Nov 2025 at 13:04, Erik Wienhold wrote:
> >
> > On 2025-11-03 23:37 +0100, David Rowley wrote:
> > > I'm starting to wonder if adjusting the spacing here is a worthwhile
> > > change.
> >
> > I think it's worth to have that consistency. I
On Thu, 6 Nov 2025 at 07:09, Erik Wienhold wrote:
>
> On 2025-11-04 03:09 +0100, David Rowley wrote:
> > I think just the keyword upper casing is a good idea for now. I'm
> > starting to lose hope that there's enough merit and consistency to the
> > proposed whitespace changes. Maybe there's a sub
