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