Summary of changes: 54e47e6... Reverted incorrect change introduced to fix bug #635786. (*) 1e7576b... Merge branch 'f13' into f14 (*) This commit already existed in another branch; no separate mail sent