[sweeper/f20] (3 commits) ...Merge branch 'master' into f20

[Rex Dieter]

Summary of changes:

  c1a2c4a... 14.12.2 (*)
  e2b1c6b... 14.12.3 (*)
  a72ccea... Merge branch 'master' into f20

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