24 Feb
2026
24 Feb
'26
11:41 p.m.
On Tue, Feb 24, 2026 at 4:18 PM Stefano Brivio
I'm inclined to forget about trying to fix everything and just do the minimal set of changes to make the tooling happy with parsing the headers.
Yeah, at this point I'd totally support that.
Does the most recent patch I sent look good to apply? That should be the "minimal" include happiness version.