Summary of changes: 93cd5e1... Update to new upstream release (BZ 880539) (*) 17983b7... add new sources to .gitignore (*) b01bc5c... add new sources to .gitignore (*) 51c4cf3... add new sources to .gitignore (*) (*) This commit already existed in another branch; no separate mail sent