https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118488
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- https://github.com/OpenMP/spec/issues/4446 Though, that is private only for those with access to the OpenMP project (so basically just OpenMP language committee members). Guess we could ask for access for you, but don't remember whom to ask right now. Or I could copy the current status of that issue to you privately and forward any comments.