Re: [Patch] OpenMP: docs - improve -fopenmp-ompt

Paul-Antoine Arras wrote:
> Here is a patch with the new levelled option implementation, updated 
> documentation, tests and comments. 

Thanks for the patch – I concur with Sandra's "This looks fine to me.": LGTM

Tobias

PS: Hopefully, the out-of-tree OMPT WIP work will land soon such that we 
can mention this flag in the release notes :-)