Re: [patch, libgomp] Re-factor GOMP_MAP_POINTER handling

[Jakub Jelinek]

On Thu, May 21, 2015 at 03:00:16PM +0200, Thomas Schwinge wrote:
> Jakub, for avoidance of doubt, the proposed refactoring makes sense to
> me, but does need your approval:

This is ok for trunk.

        Jakub