[gcc-python-plugin/f20] (4 commits) ...0.12-15

[Jakub Jelinek]

Summary of changes:

  764b81c... rebuild against latest gcc (*)
  6f098c6... 0.12-13: rebuild against latest gcc (*)
  91cf759... 0.12-14: rebuild against latest gcc (*)
  7f6ebfc... 0.12-15 (*)

(*) This commit already existed in another branch; no separate mail sent