Summary of changes: b8f2e95... Add license type for documentation (*) 7d18f12... Merge branch 'master' into f16 (*) ebfff30... Correct way of disabling debuginfo package build (*) (*) This commit already existed in another branch; no separate mail sent