> From: Cornelia Huck <[email protected]> > Sent: Friday, July 7, 2023 7:46 AM > > Patch summary: > > -------------- > > patch-1 fix split rows of admin opcode tables by a line > > patch-2 fix section numbering > > Pushed 1+2 as editorial updates.
Thanks. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
