[gomp4] Merge trunk r231075 (2015-11-30) into gomp-4_0-branch

[Thomas Schwinge]

Hi!

Committed to gomp-4_0-branch in r231099:

commit 4f88f92b308151aa2c2592102da20c417df69c27
Merge: 24e5942 851c1b0
Author: tschwinge <tschwinge@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Tue Dec 1 07:44:27 2015 +0000

    svn merge -r 230907:231075 svn+ssh://gcc.gnu.org/svn/gcc/trunk
    
    
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gomp-4_0-branch@231099 
138bc75d-0d04-0410-961f-82ee72b054a4


Grüße
 Thomas