Summary of changes: c616b1b... new release (*) 0380b38... drop some useless vertical space (*) dfcd1ac... make build verbose (*) 8a0128f... package ChangeLog (*) (*) This commit already existed in another branch; no separate mail sent