[gomp4] Merge trunk r212389 (2014-07-09) into gomp-4_0-branch

[Thomas Schwinge]

Hi!

In r212427, I have committed a merge from trunk r212389 (2014-07-09) into
gomp-4_0-branch.


Grüße,
 Thomas
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20140710/d311eb73/attachment.sig>