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