Gerald Pfeifer writes:
> Note that in HTML < and > have a special meaning, so we cannot simply
> write "<* noreturn *>", but need to escape it as "<* noreturn *>".
>
> Pushed.
>
> Gerald
apologies and thanks for correcting this bug
regards,
Gaius
Note that in HTML < and > have a special meaning, so we cannot simply
write "<* noreturn *>", but need to escape it as "<* noreturn *>".
Pushed.
Gerald
---
htdocs/gcc-13/changes.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/