Re: [wwwdocs][Patch] gcc-15: Update OpenMP section for constr/destr on devices + UID routines

[Gerald Pfeifer]

On Fri, 20 Sep 2024, Tobias Burnus wrote:
> A minor update for a bug fix / impl.-quality feature and a proper new 
> feature.

Looks fine to me.

Gerald