[gomp4] Merge trunk r217500 (2014-11-13) into gomp-4_0-branch

[Thomas Schwinge]

Hi!

In r218677, I have committed a merge from trunk r217500 (2014-11-13) into
gomp-4_0-branch.

This spans the "offloading" commits in trunk (plus two interleaved
non-"offloading" commits).


Grüße,
 Thomas

pgp4Q8SRXYvvi.pgp
Description: PGP signature