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

[Rex Dieter]

Summary of changes:

  73d332a... 4.11.90 (*)
  365eebd... 4.11.95 (*)
  04c97be... 4.11.97 (*)
  0616df9... 4.12.0 (*)
  089ef5e... 4.12.1 (*)
  d562d5e... 4.12.2 (*)
  58233c2... Revert "4.11.5"
  6f553e3... Revert "4.11.4"
  5a52d9e... Merge branch 'master' into f20

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