Summary of changes: ed1d395... Remove unused patches (*) 0d55bfc... Update to release 1.7.1 (*) (*) This commit already existed in another branch; no separate mail sent