Summary of changes: 54cf0ad... new upstream release 0.10.24 (*) 7379e62... upstream install script installs the headers now (*) c5e2e94... Merge branch 'f19' into f20 (*) (*) This commit already existed in another branch; no separate mail sent