[vfrnav/f17] (5 commits) ...Merge remote-tracking branch 'origin/f18' into f17

[sailer]

Summary of changes:

  3343e36... rebuild for polyclipping (*)
  4c2ff45... update BR for s390(x) (*)
  bc8b93c... update, rebuild for polyclipping (*)
  e79b024... post merge corrections (*)
  311c5a9... Merge remote-tracking branch 'origin/f18' into f17

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