Summary of changes: 5663312... Update to 0.7.2 version, bugfix concerning logging problem (*) 3c84ee9... Merge branch 'master' into el5 (*) This commit already existed in another branch; no separate mail sent