Re: [gomp3.1] Update libgomp.texi

[Jakub Jelinek]

On Wed, Apr 27, 2011 at 06:22:16PM +0200, Tobias Burnus wrote:
> Jakub, is the patch OK for the GOMP-3_1-branch?

With a suitable ChangeLog entry yes.

        Jakub