[gomp4] Merge trunk r215707 (2014-09-30) into gomp-4_0-branch

[Thomas Schwinge]

Hi!

In r215749, I have committed a merge from trunk r215707 (2014-09-30) into
gomp-4_0-branch.


Grüße,
 Thomas

pgppaJDkOxiPC.pgp
Description: PGP signature