Re: Ping^2: [PATCH+wwwdocs 0/8] A small Texinfo refinement

2023-02-23 Thread Sandra Loosemore via Gcc-patches
On 2/22/23 18:26, Gerald Pfeifer wrote: On Tue, 21 Feb 2023, Arsen Arsenović wrote: Ping. Like last time, I rebased the series. Thank you! The first two times around, I did not notice there's dedicated maintainers for the documentation component, and so, I am adding Gerald, Joseph and Sandr

Re: Ping^2: [PATCH+wwwdocs 0/8] A small Texinfo refinement

2023-02-22 Thread Gerald Pfeifer
On Tue, 21 Feb 2023, Arsen Arsenović wrote: > Ping. Like last time, I rebased the series. Thank you! > The first two times around, I did not notice there's dedicated > maintainers for the documentation component, and so, I am adding Gerald, > Joseph and Sandra to CC this time. Apologies for the

Ping^2: [PATCH+wwwdocs 0/8] A small Texinfo refinement

2023-02-21 Thread Arsen Arsenović via Gcc-patches
Ping. Like last time, I rebased the series. The first two times around, I did not notice there's dedicated maintainers for the documentation component, and so, I am adding Gerald, Joseph and Sandra to CC this time. Apologies for the omission. Range-diff since last ping: 1: 6eba1548dfe = 1: b