Summary of changes: d61c474... Own more directories (bug #645075). (*) c68619e... Merge branch 'f12' into f13 (*) d3ec0a6... Merge branch 'f13' into f14 (*) This commit already existed in another branch; no separate mail sent