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