On Wed, May 11, 2016 at 03:50:28PM +0200, Thomas Schwinge wrote: > Hi! > > Ping. Or should I open a PR for that?
I've posted a mail about this to the OpenMP lang committee, will see if
something comes out of that. Thanks for bringing this up and yes, a PR is
useful.
Jakub
