On 10/19/2016 12:39 PM, Bernd Schmidt wrote:
I'll refrain from any further comments on the topic. The ptx patches don't look unreasonable iff someone else decides that this version of OpenMP support should be merged and I'll look into them in more detail if that happens. Patch 2/8 is ok now.
Sounds like Jakub has made that decision. So I'll get out of the way and just approve all these.
Bernd