Re: [PATCH] Change AVX512FP16 to AVX512-FP16 which is official name.
On Sun, 29 Jan 2023, liuhongt wrote: > Ready to push to trunk. Yes, thank you. Gerald
[PATCH] Change AVX512FP16 to AVX512-FP16 which is official name.
Ready to push to trunk. --- htdocs/gcc-12/changes.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/gcc-12/changes.html b/htdocs/gcc-12/changes.html index 30fa4d6e..49055ffe 100644 --- a/htdocs/gcc-12/changes.html +++ b/htdocs/gcc-12/changes.html @@ -754,7 +754,7 @@