Summary of changes: 2d0dc7d... Update sources to 20150204 version (*) d20c515... Refresh patches and test results (*) 9f52a57... Update patch for integer conversions for f22 (*) d6ed1f4... Merge branch 'f22' (*) This commit already existed in another branch; no separate mail sent