Summary of changes: 76f3d95... - Rebuilt for c++ ABI breakage (*) f107043... Update to 4.2.4c. (*) 0f0aec4... Whoops, add back user guide. (*) a4b607e... Merge branch 'master' into f15 (*) This commit already existed in another branch; no separate mail sent