> On Oct 14, 2020, at 2:52 PM, Richard Henderson <[email protected]> > wrote: > > I'm certainly open to these changes. But it'll need to be split up -- one > patch per bullet, basically.
That's fine. What's the convention for patches that stack on top of one another? -- thorpej
