Summary of changes: a381645... Update license field to include GPLv3+ (from readline) (*) f8d015b... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent