Summary of changes: 2dbdf19... New upstream release. Link with -lrt to get the clock_* fun (*) d8e4886... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent