[metis/f18] (9 commits) ...Merge branch 'master' into f18

[Antonio Trande]

Summary of changes:

  ceab4ad... Initial import (#920518). (*)
  33efe13... Initial import (#920518) (*)
  114f53b... Initial import (#920518) (*)
  2f86928... Initial import (#920518) (*)
  25578f5... Initial import (#920518) (*)
  3117a33... Initial import (#920518) (*)
  407f79c... Initial import (#920518) (*)
  2d350d0... Initial import (#920518). (*)
  1ec9678... Merge branch 'master' into f18

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