Summary of changes: 0cdd017... 9.2 upstream release + fixes from git branch (*) 1bef4ec... Merge branch 'f19' into f20 (*) (*) This commit already existed in another branch; no separate mail sent