[gomp4] Merge trunk r207818 (2014-02-17) into gomp-4_0-branch

[Thomas Schwinge]

Hi!

In r207837, I have committed a merge from trunk r207818 (2014-02-17) into
gomp-4_0-branch.  No regressions, as far as I call -- trunk is
stabilizing, yay!


Grüße,
 Thomas

pgpS6oW9Qg0lf.pgp
Description: PGP signature