Summary of changes: 07cd095... Build with verbose automake output (*) 3605bdb... Update to upstream point release 0.7.2 (*) (*) This commit already existed in another branch; no separate mail sent