On Wed, 6 Apr 2022, Xi Ruoyao via Gcc-patches wrote:
> Document ABI changes in r12-7961, 7962, and 8023. Ok for wwwdocs?
Thank you!
Note is deprecated, and we generally use id= attributes.
I made this change, and also expanded the anchor from just "ABI" which
is very generic to more specific
On Thu, Apr 28, 2022 at 7:30 PM Xi Ruoyao via Gcc-patches
wrote:
>
> Ping.
OK.
> On Wed, 2022-04-06 at 23:26 +0800, Xi Ruoyao via Gcc-patches wrote:
> > Document ABI changes in r12-7961, 7962, and 8023. Ok for wwwdocs?
> >
> > ---
> > htdocs/gcc-12/changes.html | 25 -
Ping.
On Wed, 2022-04-06 at 23:26 +0800, Xi Ruoyao via Gcc-patches wrote:
> Document ABI changes in r12-7961, 7962, and 8023. Ok for wwwdocs?
>
> ---
> htdocs/gcc-12/changes.html | 25 -
> 1 file changed, 24 insertions(+), 1 deletion(-)
>
> diff --git
Document ABI changes in r12-7961, 7962, and 8023. Ok for wwwdocs?
---
htdocs/gcc-12/changes.html | 25 -
1 file changed, 24 insertions(+), 1 deletion(-)
diff --git a/htdocs/gcc-12/changes.html b/htdocs/gcc-12/changes.html
index 4f2ee77f..c924bca3 100644
---