Summary of changes: e231227... - Get rid of man.1 again. (#643803) (*) 5c27f5c... bump a release (*) c99eaed... Merge remote branch 'origin/f14/master' into f13/master (*) This commit already existed in another branch; no separate mail sent