[mach/f20] (6 commits) ...Merge branch 'f19' into f20

[Thomas Vander Stichele]

Summary of changes:

  fefc8ae... new upstream release (*)
  695fba4... new build (*)
  b6df9d5... new build (*)
  b24ec6d... new build (*)
  ab70560... new build (*)
  2b1c7c5... Merge branch 'f19' into f20

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