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

[Rex Dieter]

Summary of changes:

  0a587be... 4.9.90 (*)
  5e946d1... 4.9.95 (*)
  92eb6bf... 4.9.97 (*)
  b0e199a... 4.9.98 (*)
  3ecbe6c... 4.10.0 (*)
  e807eb8... Rebuild for Boost-1.53.0 (*)
  41dd458... Rebuild for Boost-1.53.0 (*)
  706fa7b... 4.10.1 (*)
  e95f745... Merge branch 'master' into f18

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