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

[Rex Dieter]

Summary of changes:

  9556cd9... 14.12.2 (*)
  86945ec... 14.12.3 (*)
  8d05200... Merge branch 'master' into f20

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