On Thu, 2 Mar 2023, Jonathan Wakely via Gcc-patches wrote:
> Pushed to wwwdocs.
Thank you!
> +If an allocator type Alloc
Note that HTML 5 complains about the use of and we are using
instead.
I just pushed the following patch addressing that. (The diff looks a bit
bigger due to changes re
Pushed to wwwdocs.
---
htdocs/gcc-13/porting_to.html | 60 +++
1 file changed, 60 insertions(+)
diff --git a/htdocs/gcc-13/porting_to.html b/htdocs/gcc-13/porting_to.html
index 5cbeefb6..f0ccef69 100644
--- a/htdocs/gcc-13/porting_to.html
+++ b/htdocs/gcc-13/porti