Summary of changes: a60322c... rebuild for OCaml 4.00.1 also on F18 (*) 66f004b... 4.9.5 (*) bc9e9a6... Merge branch 'f18' into f17 (*) This commit already existed in another branch; no separate mail sent