Summary of changes: 96a0dde... Rebuild for kdevplatfrom 1.3.80 (*) 0fbbfa4... Update to 1.2.2 (*) 2a1c10a... change license to GPLv2+ (*) (*) This commit already existed in another branch; no separate mail sent