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

[Rex Dieter]

Summary of changes:

  4bacc67... 4.11.90 (*)
  9e39d5f... 4.11.95 (*)
  116cba3... 4.11.97 (*)
  b1f2302... 4.12.0 (*)
  5ccd9ec... 4.12.1 (*)
  243fbb2... 4.12.2 (*)
  2c4ad03... Revert "4.11.5"
  99393ac... Revert "4.11.4"
  5260f49... Merge branch 'master' into f20

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