Summary of changes: 1e5d1f6... Update to latest upstream version (*) a9ff676... Update gitignore (*) (*) This commit already existed in another branch; no separate mail sent