Summary of changes: ebeab4a... update patch status (*) d9d802d... Fix a corner-case traceback upon cancelling tag reading. (*) 9f8c1b2... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent