On Sat, Jun 19, 2021 at 1:26 PM Miguel Ojeda <miguel.ojeda.sandonis@xxxxxxxxx> wrote: > > I am not sure if it is best or not to have the GCC link in order to be > consistent with the rest of the links (they are for the docs only). Do > we know if GCC going to implement it soon? i.e. if GCC does not implement it yet we use elsewhere this kind of marker instead: * Optional: not supported by gcc The first of its kind, normally it is clang/icc there ;-) We could nevertheless have the link there, something like: * Optional: not supported by GCC https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80223 Cheers, Miguel