[kig/f20] (9 commits) ...Merge branch 'master' into f20

[Rex Dieter]

Summary of changes:

  e1497d2... 4.11.90 (*)
  5fbcb12... 4.11.95 (*)
  4865dac... 4.11.97 (*)
  e2796b5... 4.12.0 (*)
  073fa59... 4.12.1 (*)
  956cd32... 4.12.2 (*)
  153a176... Revert "4.11.5"
  4b78d0a... Revert "4.11.4"
  f1ae45d... Merge branch 'master' into f20

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